List of job vacancies

Postdoc in Testing Cyber-Physical Systems at the University of Leicester
by Mohammad Mousavi, Dec. 1, 2020

Postdoc in Testing Cyber-Physical Systems at the University of Leicester

Vacancy terms: Full time, fixed term contract to 30 April 2024
Salary: £34,804 to £40,322 Grade 7, per annum
Deadline : 14th December 2020

Interview date: 18th December 2020

Application link:


PhD positions at University of Glasgow in Programming Languages
by Ornela Dardha, Nov. 30, 2020

The School of Computing Science at the University of Glasgow is offering up to 17 studentships to support PhD research for students starting in 2021. Funding is available to support tuition fees for both home and international students, and in most cases to support living expenses at the recommended UKRI rate (currently £15,285 per annum) in addition.

Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent
by smarr, Nov. 21, 2020

We are seeking to appoint another new lecturer in Computing in our Programming Languages and Systems research group based at our Canterbury campus, University of Kent.

Tenure-track Faculty Positions at Max Planck Institutes in Computer Science
by Catalin Hritcu, Nov. 5, 2020

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

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

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; language-integrated queries; big-data; query optimization; compilers; speculative dynamic compiler optimizations; monitoring, analysis and optimization; benchmarking.

Postdoc position on Formal Methods and Testing @ TU Graz, Austria
by Bernhard Aichernig, Sept. 3, 2020

I am looking for a University Assistant (postdoc) to join my research group at Graz University of Technology, Austria. We do research in the areas of formal methods, testing and automata learning. The group combines verification, falsification, modelling, and learning.

Postdoctoral Researcher and PhD Student Positions Available
by Eric Koskinen, Sept. 2, 2020

The Department of Computer Science at Stevens Institute of Technology in New York City is seeking applicants for Postdoctoral Researcher and PhD Student positions in the areas of Programming Languages and Formal Methods. Stevens Computer Science is a rapidly expanding department and we are looking for talented young researchers to join. Successful applicants are expected to participate in a rigorous research program on topics such as programming languages, program analysis, formal verification, concurrency, temporal logic and binary decompilation/lifting.

Junior Research Group Leader positions at MPI for Security and Privacy
by Catalin Hritcu, April 30, 2020

The Max Planck Institute for Security and Privacy in Bochum, Germany is inviting applications for Junior Research Group Leader positions

« previous123...89next »