Open Positions

Post-doc position in formal semantics and verification (with a focus on Rust)

We are looking for a strong post-doc who wants to do research at the foundation of programming language theory, in program verification and separation logic, with a focus on Rust. Candidates should bring solid experience in formal methods and PL theory. Prior knowledge of separation logic, Rocq, or Rust is greatly appreciated.

Interested candidates should email . Please explain why you are interested in a post-doc in this field and what your prior experience is. Also include a CV and possible contacts for recommendation letters.

The starting date is flexible. The position is fully funded at the standard ETH post-doc salary level, and comes with teaching requirements. For more information about ETH Zürich, see here.