List of job vacancies

Two PostDocs in Compiler or Architecture Parallelism
by Timothy Jones, Sept. 15, 2017

1 Research Associate (PostDoc) in Many-Core Compilation or Architecture
1 Research Associate (PostDoc) in Dynamic Binary Translation

The University of Cambridge
Deadline 29 September 2017

PhD and Postdoc positions in Software Technology at Lund University
by Christoph Reichenbach, Sept. 14, 2017

5-year PhD (20% teaching) and 2-year Postdoc positions (fully funded) are available at Lund University, with a focus on Software Technology (specifically refactoring, DSLs, and performance analysis).

Research Associate Position (2 yrs.) in Model-Based Testing for Cyber-Physical Systems
by Mohammad Mousavi, Aug. 17, 2017


Research Associate in Model-Based Testing for Cyber-Physical Systems

Department of Informatics, University of Leicester, UK

Salary Grade 7 - £32,958 per annum

Full-time fixed term contract for two years

Ref: SEN00895

Closing date: September 25, 2017


Call for PhD candidates in the Software Composition Group, U Bern
by Oscar Nierstrasz, Aug. 14, 2017

Applications are invited for PhD candidates at the Software Composition Group, University of Bern, Switzerland.

Full professorship in "Computer Aided Verification" (succeeding Helmut Veith) at TU Wien
by Laura Kovacs, Aug. 10, 2017

The TU Wien (Vienna University of Technology) invites applications for a full professorship according at the Faculty of Informatics. The position is affiliated to the Institute of Information Systems. The candidate will become the head of the already existing and valid established research group Formal Methods in Systems Engineering, previously headed by
Helmut Veith. The estimated starting date is
October 1, 2018.

The application deadline is October 16, 2017.

2 Lecturer Positions in Model-Driven Systems Engineering
by Mohammad Mousavi, July 28, 2017

2 Lecturer Positions in Model-Driven Systems Engineering

University of Leicester

College of Science and Engineering

Department of Informatics

Salary Grade 8 - £38,183 to £46,924 per annum


Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods
by mais, July 22, 2017

The Chair MAIS at TU Darmstadt, led by Heiko Mantel, is offering
multiple Postdoc and Ph.D. positions. We are looking for
researchers who are interested in addressing foundational problems
that will be of practical relevance or in addressing practical
problems based on formal methods. The research focus shall be on
software security, concurrency, or their combination.

The research focus shall be on one of the following topics:
- modular reasoning about information-flow security
- sound program analysis under relaxed consistency guarantees
- sound re-engineering of code for more parallelism
- definition of security requirements and security policy languages

Your research shall be based on solid theoretical foundations and
could result, e.g., in foundational insights, in program analysis
and transformation techniques, in tools that are reliable and
efficient, in instructive case studies, or in verified critical
software systems.

For more information about the positions, about the four research
topics and about how to apply, see .

PhD position Formal Verification / Software engineering
by Martin Leucker, July 20, 2017

The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for talented PhD students with a particular focus on Formal Verification/Software Engineering in the context of two research projects with industrial partners.

« previous123...67next »