List of job vacancies - page 2


Internships at Max Planck Institutes in Computer Science
by Catalin Hritcu, Dec. 11, 2020

The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum) offer research internships in all areas of Computer Science.

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.

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

5 RA Positions: AI Secure and Explainable by Construction
by Ekaterina Komendantskaya, April 28, 2020

5 RA and 3 PhD positions announced in a project AISEC, that develops novel methods of AI Verification. Further details available at: http://laiv.uk/index.php/vacancies/

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 (http://apply.cis.mpg.de/). 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 and postdoc positions at Schaffhausen Institute of Technology
by Bertrand Meyer, Sept. 2, 2019

Positions in software verification