[TYPES/announce] Postdoc position at CMU: Verified DSLs for high assurance systems

[Eunsuk Kang]

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 languages (DSLs). Potential research
problems include: (1) design and implementation of DSLs for high-assurance
autonomous systems, (2) compositional verification techniques for the DSLs,
and (3) techniques for debugging and repair of DSL programs. You will also
be expected to mentor PhD students involved in this project and contribute
to the development of a scalable, practical DSL 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 at cmu.edu).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210530/ea796650/attachment.htm>