Research Scientist – Formal Methods

The Secure and Resilient Systems group seeks a Research Scientist Formal Methods to support research and development of cutting-edge formal methods applied to software systems. The Research Scientist will support a team that invents, prototypes, and evaluates new formal methods and software security approaches throughout the systems software stack.

Topics of interest for strong candidates may include theorem provers (e.g., Rocq, Lean, Isabelle), SMT solvers, programming language theory (e.g., type theory, operational semantics), functional programming, compilers (e.g., frontends, IR & optimization, backends), automated program analysis and software testing. Interest...