List of job vacancies - page 2

Postdoctoral positions in Program Analysis and Verification at Virginia Tech
by Binoy Ravindran, Sept. 30, 2019

Multiple postdoctoral positions are available with the Systems Software Research Group ( at Virginia Tech ( on projects on program analysis and verification. A particular focus of the positions is verification of binary programs through decompilation, reasoning using techniques such as abstract interpretation, and verification of security properties.

Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich
by Peter Mueller, Sept. 25, 2019

The Institute of Information Security (the groups of Prof. Adrian Perrig and Prof. David Basin) and the Programming Methodology Group (Prof. Peter Müller) at ETH Zurich have multiple open positions for PhD students and Postdocs in a research project in the area of digital trust. The goal of this project is to develop a comprehensive, formally verified security architecture for communication in the physical and digital world. In particular, the project will develop protocols to transfer physical trust relationships into the digital world and store, manage, and use them. The design will take into account human (mis-)behavior from the outset. A particular emphasis is on the formal verification of the architecture both at the design and implementation level to rule out any undesired behavior.

Postdoc position at Northeastern University
by Frank Tip, Sept. 14, 2019

A postdoc position is available at Northeastern University, to work on research projects related to testing and analysis of asynchronous software.

PhD and postdoc positions at Schaffhausen Institute of Technology
by Bertrand Meyer, Sept. 2, 2019

Positions in software verification

PhD in Formal Methods for Biology at DTU Technical University of Denmark
by Andrea Vandin, Aug. 26, 2019

The section for Formal Methods of DTU Compute offers a 3-years PhD position starting in late 2019 or early 2020. The position is funded by the Independent Research Fund of Denmark through the project ‘REDUCTO: A novel approach for the reduction of Boolean networks’. The PI of the project is the Associate Professor Andrea Vandin in collaboration with Luca Cardelli (University of Oxford, UK), Claudine Chaouiya (I2M, Aix Marseille Univ, CNRS, Centrale Marseille, Marseille, France & Instituto Gulbenkian de Ciência, Portugal), and Lars Keld Nielsen (Novo Nordisk Foundation Center for Biosustainability, Denmark). Funds are allocated for research visits to the project collaborators. The PhD student will be co-supervised by Andrea Vandin and the Head of Section Alberto Lluch Lafuente.

Postdoctoral Position in Attack Tolerance - France Paris Saclay
by Fatiha Zaidi, July 12, 2019

Postdoctoral position in Attack Tolerance using Machine Learning and Big Data
at Paris Saclay University in the Verification of Algorithms, Languages and Systems (VALS) Team.
The University is located at Orsay, France.

Call for Ph.D. in Reversible Debugging of Concurrent Programs
by Ivan Lanese, June 10, 2019

The French ANR project DCore is seeking applicants for a PhD student position. The PhD will be shared between the Spades team at INRIA Grenoble, France and the Focus team at University of Bologna, Italy.
Salary is according to French standards.

The DCore project aims at building a reversible debugger and abstract analyser for concurrent Erlang programs. The PhD position is referred to the part of reversible debugging and will include both theoretical and practical aspects. A reversible debugger allows one to explore a (concurrent) program execution back and forward looking for the bug.

Postdoc positions in verification and distributed systems at IMDEA, Madrid
by Alexey Gotsman, May 31, 2019

Postdoc positions in verification and distributed systems. Possible areas include the verification of distributed protocols, theoretical foundations of blockchains and static analysis of distributed applications.