Multiple PhD Positions operating system, distributed system, and concurrency projects, USA

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.

Postdoctoral position : developing compiler, run-time, and language support for emerging heterogeneous multicore architectures

Position One

A postdoctoral position is available in the Popcorn Linux project that involves developing compiler, run-time, and language support for emerging heterogeneous multicore architectures, in particular those with heterogeneous instruction sets (e.g., Xeon/Xeon-Phi, ARM/x86), from node-scale to rack-scale. The project aims to develop systems software for such platforms and scales, including OS, compiler, run-time, and language support, with high performance, energy efficiency, and programmability (e.g., hardware-agnostic programming). The position involves developing techniques and mechanisms, and contributing to open-source (e.g., LLVM, GCC) and experimental projects (e.g., Popcorn Linux).

Recent computer science or computer engineering PhD graduates with background in compilers, run-times, programming languages, and virtualization are sought. Strong system building skills are necessary. The position is for two-year minimum, with strong possibilities for additional years, and have no teaching obligations. Contact Prof. Binoy Ravindran with a CV or for any questions.

Position Two

A postdoctoral position is available in the in the Popcorn Linux project that involves developing innovative operating system architectures for emerging multicore platforms, in particular those with heterogeneous instruction sets, from node-scale (e.g., Xeon/Xeon-Phi, ARM/x86, CPU/GPU) to rack-scale (e.g., Scale-out processors, Firebox, The Machine). The project aims to develop scalable, energy-efficient, fault-tolerant, and secure OS architectures for such platforms and scales, concomitant OS components (e.g., pager, scheduler, VFS, network stack), and contributing to open-source (e.g., Linux) and experimental projects (e.g., Popcorn Linux).

Recent computer science or computer engineering PhD graduates with background in operating systems, virtualization, dependability, and distributed systems are sought. Proven programming expertise with the Linux kernel is required. The position is for two-year minimum, with strong possibilities for additional years, and have no teaching obligations. Contact Prof. Binoy Ravindran with a CV or for any questions.