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 call (see below), but I encourage anyone interested to reach out to discuss further. https://career.cispa.de/jobs/general-phd-call-51