Postdoctoral Position in High-Assurance Systems

Postdoctoral Scholar Position

We are looking for a motivated postdoctoral scholar to work on formal methods for the development of high-assurance software and cyber-physical systems. In particular, the project involves the development and enhancement of systems through the composition and verification of programs written in high-level domain-specific modeling languages (DSMLs). Potential research problems include: (1) design and implementation of DSMLs for high-assurance autonomous systems, (2) compositional verification techniques for the DSMLs, and (3) techniques for debugging and repair of DSML programs. You will also be expected to mentor PhD students involved in this project and contribute to the development of a scalable, practical DSML development environment.

Location

You will be a member of the Institute for Software Research, School of Computer Science at Carnegie Mellon University in the USA. Pending the evolving situation with COVID-19, you will be expected to work from Pittsburgh, PA.

Qualifications

Candidates are expected to have a PhD in Computer Science or related fields, with a strong background and research record in formal methods, software engineering, and/or programming languages. Familiarity with automated verification technologies (e.g., model checkers, SMT solvers) is desirable.

Timeline

The position is expected to begin in September 2021 for 1 year, with a possibility of extension.

Instructions

To apply, please send a copy of your latest CV and research statement to Eunsuk Kang (eskang@cmu.edu).