List of job vacancies


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

http://bit.ly/2LecturersLeicester

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
http://www.mais.informatik.tu-darmstadt.de/Positions.html .

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.

Postdoc Formal Verification / Software Engineering at University of Luebeck
by Martin Leucker, July 20, 2017

The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for two postdoc positions in the area of Formal Verification/Software Engineering in the context of two research projects with industrial partners.

Postdoc (PhD) position @ MPI-SWS in software verification and approximate computing
by Eva Darulova, July 11, 2017

Postdoc position at the Max Planck Institute for Software Systems in Germany. Outstanding students can also be considered for a PhD position. Application deadline 15 September or until the position is filled.

Two PhD Studentships in Verification and Systems & Synthetic Biology at Newcastle, UK
by Paolo Zuliani, July 11, 2017

Two PhD studentships in the School of Computing Science. Apply by 31 July 2017.

post-doc position: statistical verification of distributed programs
by Stephan Merz, July 6, 2017

Post-doctoral position at Inria on statistical verification of distributed programs within SimGrid

Two PhD studentships on MDE for self-adaptive systems at Aston University (Birmingham, UK)
by Antonio Garcia-Dominguez, June 8, 2017

Two (2) funded PhD studentships on model-driven engineering for self-adaptive systems are available at the School of Engineering and Applied Science of Aston University (Birmingham, UK).

« previous123...67next »