List of job vacancies


Senior Lecturer/Associate Professor in Software Engineering (Software Verification)
by Ian Hayes, Sept. 16, 2019

The position is part of a new initiative in verified software supported by generous funding from Oracle. Initially, this will involve playing a leading role in research on verifying optimization passes of compilers. For the first three years, the position will have half the standard teaching duties allowing a greater focus on research and support for two PhD student scholarships and travel for research collaboration.

Postdoc position at Northeastern University
by Frank Tip, Sept. 14, 2019

A postdoc position is available at Northeastern University, to work on research projects related to testing and analysis of asynchronous software.

Post-doctoral Research Position in Concurrent Software Verification
by Ian Hayes, Sept. 10, 2019

We are seeking a post-doc researcher for a project on the design and verification of correct, efficient and secure concurrent systems. The position is for approximately 3 years and is based at the University of Queensland (UQ), Brisbane, Australia and funded by an Australian Research Council (ARC) Discovery Grant.

Ph.D. positions at University of Copenhagen
by Fritz Henglein, Sept. 3, 2019

The Faculty of Science at the University of Copenhagen offers a considerable number of attractive Ph.D. fellowships with application deadline October 1st, 2019. The Programming Languages and Theory of Computation section at the Department of Computer Science welcomes applications in all aspects of programming languages and systems, computability theory and logic.

PhD and postdoc positions at Schaffhausen Institute of Technology
by Bertrand Meyer, Sept. 2, 2019

Positions in software verification

Postdoc position on privacy policies at Inria
by Daniel Le Métayer, Aug. 28, 2019

The goal of the postdoc project is to build on a privacy policy language to propose a privacy risk analysis method. This risk analysis method could typically derive properties about the types of personal data that could (or could not) be used by certain stakeholders based on assumptions about potential attackers (or, more generally, misbehaving agents)

PhD in Formal Methods for Biology at DTU Technical University of Denmark
by Andrea Vandin, Aug. 26, 2019

The section for Formal Methods of DTU Compute offers a 3-years PhD position starting in late 2019 or early 2020. The position is funded by the Independent Research Fund of Denmark through the project ‘REDUCTO: A novel approach for the reduction of Boolean networks’. The PI of the project is the Associate Professor Andrea Vandin in collaboration with Luca Cardelli (University of Oxford, UK), Claudine Chaouiya (I2M, Aix Marseille Univ, CNRS, Centrale Marseille, Marseille, France & Instituto Gulbenkian de Ciência, Portugal), and Lars Keld Nielsen (Novo Nordisk Foundation Center for Biosustainability, Denmark). Funds are allocated for research visits to the project collaborators. The PhD student will be co-supervised by Andrea Vandin and the Head of Section Alberto Lluch Lafuente.

Cambridge Lecturer in Programming Languages position
by Alan Mycroft, Aug. 20, 2019

The Department of Computer Science and Technology, also known as the University of Cambridge Computer Laboratory, is seeking to recruit a new faculty member at the Lecturer or Senior Lecturer level (analogous to a US Associate Professor) who can contribute to research and teaching in the broad area of Programming Languages. This includes (but is not limited to) Compilation, Program Analysis, Program Transformation, Type Systems, Semantics, Verification, Security, and Concurrency.

« previous123...89next »