List of job vacancies

Full professor position in Grenoble
by David Monniaux, Feb. 20, 2024

A senior professorship is to open in Grenoble with research in the Verimag laboratory and teaching at Grenoble-INP Polytech.

Keywords: Computer programming, networks, systems, machine and system architecture;
formal method, verification

Research chair on cybersecurity at the hardware / software interface
by David Monniaux, Feb. 17, 2024

A tenure-track position on cybersecurity at the hardware / software interface is to open at CNRS. Tenure may be granted after 3-6 years as a full-time senior research position.

Research Fellow in Programming Languages Foundations, University of Tartu, Estonia
by Danel Ahman, Feb. 9, 2024

The Institute of Computer Science at the University of Tartu invites
applications for a Research Fellow position in Programming Languages.

Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland
by guidosalva, Feb. 5, 2024

The Programming Group at the School of Computer Science, University of St.Gallen (HSG), Switzerland, invites applications for an opening as PhD student.

Assistant Professor (tenure-track) positions in Programming Languages and Technology, University of Southern Denmark (deadline 1 March 2024)
by Fabrizio Montesi, Feb. 2, 2024

The Department of Mathematics and Computer Science at the University of Southern Denmark (main campus, Odense) invites applications for tenure-track Assistant Professor positions in Computer Science, with focus on the areas of Programming Languages and Concurrency.

Postdoc on Digital Twins? Open positions in MSCA CO-FUND project, Uni Oslo, Norway
by Einar Broch Johnsen, Feb. 1, 2024

Are you interested in a postdoc on Digital Twins at the Department of Informatics, University of Oslo, Norway? Projects can span from theory, software engineering and formal methods to data science and AI, and across different application domains.

PhD Candidate on Software Reliability for Critical Water Infrastructures@University of Twente
by Marieke Huisman, Jan. 31, 2024

The reliability of software systems in critical infrastructures is more crucial than ever in times of escalating climate change impacts. The STORM_SAFE project aims to advance software resilience in vital water structures like storm surge barriers. You will contribute by developing and implementing algorithms and tools that focus on quantitative verification and validation. This will enhance the dependability and reliability of these systems and addresses critical challenges posed by aging software and the increasing frequency of extreme weather events. Your work will be instrumental in safeguarding communities and reducing potential socio-economic damages caused by infrastructure failures.

Postdoctoral Research Fellow in Formal Methods for Business Process Modelling
by Violet Ka I Pun, Jan. 29, 2024

A postdoctoral researcher position in Formal Methods for Business Process Modelling is available at Dept. of Computer Science, Western Norway University of Applied Sciences, Bergen, Norway

Deadline: 25th February 2024
Salary: starting from ~NOK 576 000 per annum
Duration: 2 year, with the possibility of an extension for up to 1 year

Link to the detailed job posting:

« previous123...1112next »