List of job vacancies

PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network by Peter Olveczky on March 9, 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
Faculty position in Computer Science (Software Systems Engineering) at DTU Compute, Technical University of Denmark by Alceste Scalas 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
PhD Scholarship Heriot-Watt University, Scotland by Ekaterina Komendantskaya on March 16, 2022
PhD position on the design and formal verification of distributed systems at the University of Birmingham by vincent on July 28, 2021
Post-doc Position in AI for Continuous Software Engineering available at the University of L'Aquila (Italy) by RominaEramo on June 21, 2021