← Feed

Posts

• Post #2534116

  **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 cal...

• Post #2534115

  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. https://workingat.vu.nl/vacancies/phd-position-in-formal-methods-for-concurrent-cryptographic-protocols-amsterdam-1288339