List of job vacancies

PhD Student (Post-Doc) in Formal Modeling and Analysis of Systems
by Stefan Leue, Jan. 18, 2019

We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex systems.

Research Associate on Automatic Program Repair (Uni. of York, UK in collaboration with IBM)
by nmatragkas, Jan. 15, 2019

The Department of Computer Science at the University of York, UK, is looking for a research associate to work at the intersection of machine learning and automatic program repair.

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.

Vacancy for 6 Assistant Professors in Information and Computing Sciences at Utrecht University
by Jurriaan Hage, Dec. 30, 2018

The Information and Computing Sciences dept. of Utrecht University is hiring 6 assistant professors, on a variety of topics. The department has a group on programming technology and a group that works on software technology for teaching and learning. Deadline is 14/02/2019.

Post-doc positions in Trustworthy Software
by Abhik Roychoudhury, Dec. 25, 2018

Several post-doc positions are available at the National Satellite of Excellence in Trustworthy Software Systems at the National University of Singapore. Please contact Director of the center

Prof. Abhik Roychoudhury [email protected]

Postdoc position in Runtime Verification for Cloud Systems
by Cesar Sanchez, Dec. 21, 2018

The IMDEA Software Institute is looking for postdoc candidates with
strong programming skills to work in the area of runtime verification,
in the context of the EU Elastest Project for testing large cloud

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.

« previous123...89next »