mastodon 4.7.2Faculty @ CISPA
Wanna do a PhD on formal verification for cryptography? Sabine Oechsner and Kristina Sojakova are looking for a motivated PhD student to join them at VU Amsterdam. See more information below, or reach out to Sabine (s.a.oechsner@vu.nl) or Kristina (k.sojakova@vu.nl) if you have any questions.
**PhD/Postdoc positions in programming languages and formal verification**
I'm taking on a faculty position at CISPA (Saarbrücken, Germany), and I'm looking for PhD students and postdoctoral researchers to join me. I have a strong interest in topics such as separation logic, probabilistic programming, and (cryptographic) security. However, the positions come with academic freedom, and I'm happy to discuss other directions and ideas.
CISPA has announced a general PhD call (see below), but I encourage anyone interested to reach out to discuss further.
