Basic research in all aspects of the design, implementation, verification, and evaluation of software systems, with a particular emphasis on open source software. For example, recent work has focused on a secure and formally verified Linux KVM hypervisor.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.