List of job vacancies

Two Associate Professorships or Professorships of Computer Science (with Tutorial Fellowships) by Department of Computer Science, University of Oxford on September 2, 2026
Postdoctoral Research Fellow in Trustworthy GenAI-assisted Software Engineering by Violet Ka I Pun on August 17, 2026
Senior Lecturer in Distributed Large-scale Software Systems by Gorel Hedin on August 14, 2026 (edited on September 10, 2026)
EOI: Fellowship Opportunities with the MSP Group at University of Strathclyde by jfdm on June 11, 2026
CNRS tenure-track research position by David Monniaux on May 22, 2026
Lecturer in Mathematically Structured Programming at University of Strathclyde, Glasgow, UK by jfdm on March 3, 2026
PhD position in verification of neuro-cyber-physical systems by Ekaterina Komendantskaya on March 2, 2026
Chair position available at CUNY Hunter College in New York by Raffi Khatchadourian on September 20, 2024
Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland by Guido Salvaneschi on July 17, 2024
Multiple fully-funded Ph.D. student position(s) in combating technical debt in Machine Learning (ML) systems in New York City by Raffi Khatchadourian on June 12, 2024
Postdoctoral Research Fellow in Formal Methods by Violet Ka I Pun on May 30, 2024
PhD positions: Verification of AI/ AI Safety by Ekaterina Komendantskaya on May 20, 2024
Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland by Guido Salvaneschi on February 5, 2024
PhD position at Chalmers in Combined Software Co-Piloting and Verification by Wolfgang Ahrendt on July 5, 2023
PhD position on Program Analysis for Smart Contracts at the Vienna University of Technology by Maria Christakis on March 20, 2023
Postdoc position on Program Analysis at the Vienna University of Technology by Maria Christakis on March 20, 2023
Two Knowledge Transfer Associate Positions in Model-Based Software Engineering - University of York and Leonardo, UK by Dimitris Kolovos on February 6, 2023
PhD positions on programmable networking at Illinois Tech in Chicago by nik on October 3, 2022
Multiple PhD positions at The Australian National University by Nisansala Yatapanage on September 30, 2022
Positions for Postdocs and Ph.D. candidates by Heiko Mantel on August 31, 2022
PhD scholarship, Heriot-Watt University by Ekaterina Komendantskaya on July 29, 2022
First 8 scholarships available for the Ph.D. Program in Computer Science at the Universities of Pisa, Florence and Siena by Antonio Brogi on July 11, 2022
Ph.D. student position(s) in analysis and transformations of imperative Deep Learning programs by Raffi Khatchadourian on June 23, 2022
Postdoc positions in reverse engineering and binary verification at Virginia Tech by Nico Naus on June 15, 2022
Postdoctoral Researcher and PhD positions at University of Birmingham by vincent on May 31, 2022