Systems Software Research Group

Research Faculty and Postdoctoral Recruitment

Program Analysis, Verification (Exploit Generation)

Research faculty or postdoctoral position is available with the Systems Software Research Group on projects at the intersection of program analysis, verification, and security. A particular focus of the position is static and dynamic program analysis, especially at the binary level, for automatic exploit generation with an underlying basis in semantics and logic. Additional thrusts include logic frameworks for formal reasoning of non-exploitability.

Computer science PhD graduates with a background and publication record in program/binary analysis, verification, or security is sought. The position has no teaching obligations.

Contact Prof. Binoy Ravindran with a CV or for any questions.

Program Analysis, Verification (Weird Machines)

Research faculty and postdoctoral positions are available with the Systems Software Research Group on projects on program analysis and verification. A particular focus of the positions is automated reasoning of unintended, emergent program behaviors (e.g., weird machines) and verifying their non-exploitability. Additional thrusts include verified decompilation and verified recompilation.

Recent computer science or computer engineering PhD graduates with a background and publication record in verification, security, or program analysis are sought. Background in theorem proving (e.g., Coq, HOL4, Isabelle, etc), program analysis techniques, low-level system software including assembly code, ISA semantics, and functional programming are highly desirable. The positions have no teaching obligations.

Contact Prof. Binoy Ravindran with a CV or for any questions.

Operating Systems, Compilers, Run-times

Research faculty and postdoctoral positions are available with the Systems Software Research Group on projects on operating systems and virtualization. The positions involve investigating innovative OS and virtualization architectures for emerging multicore platforms, in particular those with heterogeneous instruction set architectures (e.g., the Popcorn Linux project) and server-grade high-end hardware with IO virtualization support (e.g., the LibrettOS project).

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 positions have no teaching obligations.

Contact Prof. Binoy Ravindran with a CV or for any questions.