Research Faculty and Postdoctoral Recruitment

Software engineering, Formal methods, Programming languages

Research faculty and postdoctoral positions are available with the Systems Software Research Group on projects at the intersection of software engineering, formal methods, and programming languages. Project thrusts include trustworthy code translation, scalable program analysis and verification, verified compilation, and concurrency testing and verification.

Computer science PhD graduates with strong backgrounds and publication records in the following areas are sought: program analysis, program synthesis, formal verification (e.g., SMT solvers, model checkers, proof assistants), compilers, and security.

Successful candidates will collaborate with industry stakeholders, with the potential to influence mainstream toolchains. There’s also flexibility to explore topics of mutual interest within project scopes. 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.