Systems Software Research Group

Postdoctoral Recruitment

Operating Systems, Compilers, Run-times

Multiple postdoctoral positions are available in the Popcorn Linux project that involve developing innovative systems software architectures for emerging multicore platforms, in particular those with heterogeneous instruction sets, from node-scale (e.g., Xeon/Xeon-Phi, ARM/x86, CPU/GPU/FPGAs) to rack-scale (e.g., Scale-out processors, Firebox, The Machine). The project aims to develop scalable, energy-efficient, and secure software stack for such platforms and scales, concomitant components in the spaces of operating systems, compilers, and run-times, and contributing to open-source (e.g., Linux, LLVM) and experimental projects (e.g., Popcorn Linux).

Recent computer science or computer engineering PhD graduates with background in operating systems, security, virtualization, or compiler/run-times is sought. Proven programming expertise with open-source OS, compiler, and run-time infrastructures (e.g., the Linux kernel, Xen, KVM, LLVM, QEMU, etc) is required. The position is for two years minimum, with strong possibilities for additional years. For the right candidate, a research faculty position may also be possible. Contact Prof. Binoy Ravindran with a CV or for any questions.

Formal methods/Isabelle/HOL

A postdoctoral position is available on a project involving formally verifying experimental software systems. The project's goals include verifying components of Linux kernels (e.g., Popcorn Linux), compiler backends and run-times (e.g., HydraVM), and transactional memory concurrency libraries (e.g., Hyflow), which are being developed by the group and transitioned into production contexts of sponsors.

Recent computer science/engineering PhD graduates with formal methods background (e.g., Isabelle/HOL) are sought. The position is for three years minimum, with strong possibilities for additional years. For the right candidate, a research faculty position may also be possible. Contact Prof. Binoy Ravindran with a CV or for any questions.

PhD Student Recruitment

Multiple PhD positions for the academic year starting in Fall 2016 are available on operating system, distributed system, and concurrency projects. The OS project (popcornlinux.org) involves developing scalable OSes and hypervisors for emerging multicore architectures with heterogenous instruction sets, distributed systems, and exascale systems, and transitioning them into open-source OS/hypervisor infrastructures (e.g., Linux, Xen). The concurrency project (hyflow.org) involves developing scalable concurrency control, transactional memory, and transactional storage protocols for multicore, cluster- and geo-scale distributed systems, and transitioning them into open-source compiler/run-time and middleware infrastructures (e.g., GCC, LLVM, Infinispan). Opportunities also exist in a new project that is exploring formal methods (e.g., theorem-proving) for verifying systems software (e.g., Linux kernel). Positions require an MS in Computer Engineering, or Computer Science, or a closely related field, matching background and interests, strong programming skills in relevant languages, and strong self-initiative, while being a team player.

Details of Virginia Tech's PhD program in Computer Engineering, application deadlines, standardized test score requirements, how to apply, etc., can be found at: https://www.ece.vt.edu/graduate/admissions.html. Interested applicants are encouraged to first contact Prof. Binoy Ravindran with a resume. </