List of job vacancies

Postdoc position in distributed computing at IMDEA, Madrid, Spain
by Alexey Gotsman, Sept. 14, 2023

Applications are invited for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will work under the supervision of Alexey Gotsman (, with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include blockchains and distributed transaction processing. This covers algorithms, correctness proofs, and system engineering.

PhD position in Static Software Analysis, Halmstad, Sweden
by Wojciech Mostowski, Sept. 7, 2023

We have an opening for a PhD student at School of Information Technology, Halmstad University, Sweden!

Scalable Model Checking of Embedded Real-Time Systems
by Mo Foughali, Aug. 31, 2023

The Real-Time Systems Group at the Max Planck Institute for Software Systems (MPI-SWS) seeks a motivated postdoctoral researcher to work on the subject of scalable model checking of embedded real-time systems. The research will be done in collaboration with the Modeling and Verification team at the Institut de Recherche en Informatique Fondamentale IRIF (CNRS and Université Paris Cité, France).

Details on the position and application process are available here

Postdoc position, Logic and Semantics Group in Tallinn
by Tarmo Uustalu, Aug. 11, 2023

The Logic and Semantics Group at the Tallinn University of Technology
is seeking an aspiring talented and hard-working young scientist to
fill a departmentally funded postdoc position.

PhD and PostDoc Positions in Formal Methods at KIT
by Bernhard Beckert, Aug. 8, 2023

We are hiring PhD Researchers and Postdoctoral Researchers
in applied formal methods for software and algorithm engineering

PhD position at Chalmers in Combined Software Co-Piloting and Verification
by Wolfgang Ahrendt, July 5, 2023

There is a PhD position open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of 'Combined Software Co-Piloting and Verification'. The announcement is linked here:
A vision paper related to this PhD project has been published here:
The PhD student will be jointly supervised by Wolfgang Ahrendt (ahr[email protected]) and Moa Johansson ([email protected]).

JLAMP: new initiative launched
by Emilio Tuosto, April 13, 2023

The Journal of Logical and Algebraic Methods in Programming (JLAMP) is pleased to announce the start of the 'Thematic Special Issue' initiative. Scholars interested in becoming the guest editor of a thematic special issues can contact Emilio Tuosto ([email protected])

PhD position on Program Analysis for Smart Contracts at the Vienna University of Technology
by Maria Christakis, March 20, 2023

I am hiring a PhD student to work on Program Analysis for Smart Contracts at the Vienna University of Technology, Austria.

If you are interested, please send me your CV.

Expected start: September 2023

Best regards,
Maria Christakis

« previous123...1112next »