Research Faculty and Postdoctoral Recruitment

Software Security, Verification

Research faculty and postdoctoral positions are available with the Systems Software Research Group on projects at the intersection of program/binary analysis and verification toward developing trustworthy tools for reasoning about security exploits in binary code. Opportunities exist to investigate a broad set of topics including logic frameworks for automatic reasoning of security exploits, verified decompilation, auto-generation of trustworthy security analysis tools, and automatic patching/compartmentalization with provable security properties. Opportunities also exist to investigate project-relevant topics of mutual interest.

Computer science PhD graduates with a background and publication record in any of the following areas are sought: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. The positions have no teaching obligations.

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

Systems

Research faculty and postdoctoral positions are available with the Systems Software Research Group on systems projects. The positions involve investigating innovative system software architectures for emerging hardware in cloud and edge computing settings, in particular those with heterogeneous instruction sets, accelerators, programmable devices, I/O virtualization, and capabilities/tagging, toward improved performance, energy efficiency, and security properties.

PhD in Computer Engineering or Computer Science or a related field with a systems background is required. Systems is broadly defined to include operating systems/hypervisors, compilers/run-times, reconfigurable systems, and embedded/real-time systems. Programming expertise with open-source OS, compiler/run-time, or reconfigurable toolchains is required. The positions have no teaching obligations.

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