List of job vacancies

Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent
by smarr, Aug. 3, 2022

We are seeking to appoint a new lecturer in Computing in our Programming Languages and Systems research group based at our Canterbury campus, University of Kent.

PhD scholarship, Heriot-Watt University
by Ekaterina Komendantskaya, July 29, 2022

A PhD Scholarship is available at Heriot-Watt University, Scotland. The PhD position will be at the Lab for AI and Verification (, and will be funded and co-sipervised by Slumberger Cambridge. The Scholarship starts on the 1 October 2022.

Postdoc and PhD positions at the University of Birmingham
by vincent, July 29, 2022

Fully-funded Postdoc and PhD positions at the University of Birmingham to work on the design and verification of distributed systems.

Research Software Engineer in MDE at King's College London
by Steffen Zschaler, July 22, 2022

We are looking for a research software engineer to help us build a platform for teaching model-driven engineering.

PhD Scholarship on Blockchains. Deadline 26/08/22
by Emilio Tuosto, July 18, 2022

A fully funded PhD scholarship on the analysis and verification of smart contracts with behavioural types is available in the context of the Italian National PhD School on Blockchain and Distributed Ledger Technology (

Job opening for seven assistant professors at Heriot-Watt University, Edinburgh
by Jurriaan Hage, July 15, 2022

We have 4 teaching focused (T&S) plus 3 standard (T&R) assistant professors positions available at our Edinburgh campus. Suitable research areas include but are not limited to formal methods, programming languages, parallel computing, and cyber security.

Further details for both:
T&S -

T&R -

Feel free to forward this message to others who might be interested.

PhD Student or Postdoc Position in Alexander von Humboldt Professor group André Platzer
by André Platzer, July 14, 2022

The group of André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time).

Fully funded PhD position available at IRIF, Université Paris Cité
by Mo Foughali, July 13, 2022

One PhD position (in Computer Science) on Cyber-physical systems, verification and learning at Institut de Recherche en Informatique Fondamental (IRIF) in Paris

« previous123...1011next »