List of job vacancies


Post-doc Position in AI for Continuous Software Engineering available at the University of L'Aquila (Italy)
by RominaEramo, June 21, 2021

Post-doc Position in AI for Continuous Software Engineering
available at the University of L'Aquila (Italy)

Postdoc Position, Programming Group - SCS, University of St.Gallen
by guidosalva, June 20, 2021

A fully funded postdoc position is open in the Programming Group at
the School of Computer Science, University of St. Gallen (CH).
The position is supervised by Prof. Guido Salvaneschi.

Tenure Track Assistant Professor of Computer Science, Roskilde University, Denmark
by John Gallagher, June 17, 2021

Tenure Track Assistant Professor of Computer Science

Department of People and Technology, Roskilde University, Denmark invites applications for a new position as assistant professor of Computer Science from October 1st 2021 or as soon as possible thereafter. See http://bit.ly/roskilde-cs-assistant-prof.

Post-doc in computer science at GSSI (Deadline: July 8 2021, 4 p.m. (italian time zone)
by Emilio Tuosto, June 16, 2021

CUIM funded Post-doc at GSSI

Annual gross salary: € 36.000,00
The duration of the appointment is 24 months
Deadline: July 8 2021, 4 p.m. (italian time zone)

PhD position on Embedded Systems Verification at University of Twente, Netherlands
by Marieke Huisman, June 15, 2021

We are looking for a PhD candidate for a 4-year project on Formal Methods for Embedded Systems, as part of SAVES (ScAlable Verification of industrial Embedded control Systems), a collaboration with the University of Münster (WWU Münster). You will be working on the SAVES project, carried out in collaboration with prof. dr. Paula Herber (University of Twente / WWU Münster).

PhD Position in Formal Methods (Reactive Synthesis and Runtime Verification) - University of Gothenburg/Chalmers, Sweden
by Nir Piterman, June 12, 2021

Open PhD position in formal methods in the department of Computer Science and Engineering at the University of Gothenburg/Chalmers, Sweden. The student will work on the project "Enabling Reactive Synthesis through Runtime Verification” with Professor Nir Piterman. The PhD studentship is a fixed-term employment contract for 5 years. Application is open to national and international applicants and we encourage applications from underrepresented minorities.

Research scope: formal methods, reactive synthesis, runtime verification, automata, games, temporal logics

Apply here: https://tiny.cc/gbgphd

Read more what it would be like: https://tiny.cc/gbgphdtweet

Professorship "Programming Languages and Compilers for Modern Computer Architectures"
by Sergei Gorlatch, June 10, 2021

W2-Professorship "Programming Languages and Compilers for Modern Computer Architectures" (in German)

Postdoc position on Model-Driven Engineering for Low-Code Development Platforms in Nantes, France (Lowcomote project - Marie Skłodowska‐Curie)
by Massimo Tisi, June 7, 2021

The Lowcomote project (Marie Skłodowska‐Curie ETN - https://www.lowcomote.eu/) is looking for a high-profile candidate for a 1-year postdoc position, extensible to 2 years, on Model-Driven Engineering for Low-Code Development Platforms. The selected candidate will join the Naomod team (LS2N - UMR CNRS 6004 - https://naomod.github.io/), at IMT Atlantique (https://www.imt-atlantique.fr/en), Nantes, France.

« previous123...910next »