List of job vacancies - page 3

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.

Post Doctoral Researcher: Dynamic Analysis of Python.
by Paddy Krishnan, May 16, 2019

Oracle Labs Australia invites applications for a full-time, 2 year fixed-term Postdoctoral Researcher position. The main aim of the 2 year project is to deliver novel and useful solutions to analyse systems written in Python with a view to detecting security vulnerabilities.

Fully funded PhD at the University of Surrey
by Brijesh Dongol, May 7, 2019

We are seeking a PhD student to work on the project

Persistent Safety and Security

at the University of Surrey. The project is funded by VeTSS ( and is open to any UK/EU national.

Applications will be accepted until Sept, but will be evaluated upon submission. The anticipated start date for the project is 1st Oct 2019.

Full details of the project are available here:

For further information, please contact Brijesh Dongol ([email protected]).

Permanent Academic positions at Heriot-Watt University
by Ekaterina Komendantskaya, April 12, 2019

Several permanent academic posts are opening at Heriot-Watt University, on a range of subjects: programming languages, verification, security, rigourous systems.

Fully-funded PhD position at Inria Lille (France)
by Simon Bliudze, April 5, 2019

We are hiring a PhD student on a fully-funded position at the Inria Lille team Spirals ( to work on the

Design of correct-by-construction self-adaptive cloud applications using formal methods.

Applications should be submitted at the Inria jobs website by 22/04/2019:

Detailed information available on my website:

Postdoc positions in PL and distributed systems at IMDEA, Madrid
by Alexey Gotsman, Jan. 8, 2019

Postdoc positions on topics at the intersection of programming languages and distributed systems.

Postdoc position at Colorado in data-driven program analysis with potential industrial applications
by Bor-Yuh Evan Chang, Dec. 21, 2018

The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate working in the area of data-driven program analysis. This position presents a unique opportunity for potential industrial application in collaboration with GitHub.

[email protected] planck: The new Max Planck Graduate Center for Computer and Information Science
by Maria Christakis, Dec. 20, 2018

[email protected] planck is a new Max Planck wide graduate program that allows
admitted students to work with CS faculty at any Max Planck Institute
and offers them the full range of CS research and faculty in one

Specifically, [email protected] planck is a highly selective doctoral program
that grants admitted students full financial support to pursue doctoral
research in the field of computer and information science, with faculty
at Max Planck Institutes and some of the best German universities.

To qualify for the program, students must hold a Bachelor’s or
Master’s degree in computer science (or a related field) and have an
outstanding academic record. We especially encourage applications
from students who wish to explore research across the CS spectrum
before committing to a topic and advisor.

For more information about [email protected] planck, see here:

For information about other doctoral programs offered by Max Planck
Institutes, see here:

The next upcoming application deadline is December 31, 2018.