List of job vacancies

Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software
by Bor-Yuh Evan Chang, Nov. 20, 2019

Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder in the area of Trustworthy Software. Applications will be evaluated beginning on December 1, 2019 and will continue until the position is filled.

PhD / Postdoc position (Uni Amsterdam) in programming languages for adaptive cyber-physical systems
by Clemens Grelck, Nov. 14, 2019

The Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking for a researcher (PhD candidate or PostDoc) in the area of domain-specific programming languages for the specification and design of adaptive cyber-physical systems that are robust against both component failures and cyber-attacks. The successful candidate will perform reseaerch within the EU-funded Horizon-2020 project ADMORPH, which brings together a consortium of 4 academic and 4 industrial partners from across Europe, coordinated by the University of Amsterdam.

ERC funded postdoc position in formal verification at the university of Gothenburg
by Nir Piterman, Nov. 1, 2019

Postdoc position is available to work on the Nir Piterman's
ERC Consolidator funded project

“dSynMA: Distributed Synthesis from Single to Multiple Agents”.

The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.

Details at

PhD Student in Programming Language Engineering at TU Delft
by Eelco Visser, Oct. 16, 2019

The TU Delft Department of Software Technology has an open position for a PhD student in the Programming Languages group in the area of Language Engineering.

We are seeking a PhD student to join the Spoofax team to further develop the theory and application of scope graphs. In particular, we are interested in the use of scope graphs to define binding-aware program transformations, and the optimization of definitional interpreters using scope graphs.

Tenure-Track Faculty Positions at the MPIs for Informatics, Software Systems, and Security & Privacy
by Maria Christakis, Oct. 16, 2019

The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum) invite applications for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill several positions.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

The institutes are part of a network of over 80 Max Planck Institutes, Germany’s premier basic-research organizations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institutes offer a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institutes.

Qualified candidates should apply on our application website ( To receive full consideration, applications should be received by December 15th, 2019.

The Max Planck Society wishes to increase the number of women in those areas where they are underrepresented. Women are therefore explicitly encouraged to apply. The Max Planck Society is also committed to increasing the number of employees with severe disabilities in its workforce. Applications from persons with severe disabilities are expressly desired.

The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

PhD positions in the Dynamic Analysis Group - Faculty of Informatics - Università della Svizzera italiana (USI), Lugano, Switzerland
by Andrea Rosà, Oct. 11, 2019

The Dynamic Analysis Group in the Faculty of Informatics at Università della Svizzera italiana (USI) is looking for excellent applications to fill open positions for PhD students. Successful applicants will pursue a PhD under the supervision of Prof. Walter Binder and Dr. Andrea Rosà. The topic of the doctoral dissertation is flexible (to be defined based on individual research interests) and can span a wide spectrum of topics in the field of software engineering and programming languages, including (but not limited to): parallel and concurrent programming; managed languages and runtimes; performance modeling, monitoring, analysis and optimization; compilers; benchmarking.

Associate/Assistant Professor in Formal Methods for Safe and Secure Systems [Deadline 30/11/2019]
by Andrea Vandin, Oct. 9, 2019

Associate/Assistant Professor in Formal Methods for Safe and Secure Systems at DTU Technical University of Denmark [Deadline 30/11/2019]

PhD position in Theoretical Computer Science at the VU Amsterdam
by Joerg Endrullis, Oct. 5, 2019

We are seeking applications for a fully-funded, 4-year PhD position in the Section of Theoretical Computer Science of the Vrije Universiteit Amsterdam (VUA). The goal of the project is the development of techniques for reasoning about automata that transform finite and infinite words (also known as transducers). In this project, we will use and extend techniques from automata theory, combinatorics on words, logic, coalgebra and term rewriting.

« previous123...910next »