List of job vacancies - page 3

Postdoc position in verification at IMDEA, Madrid
by gotsman, June 29, 2016

3-year postdoc position in the area of reasoning about distributed systems

3 PhD positions at INRIA Grenoble, France
by fradet, May 25, 2016

Three PhDs in Grenoble, France.

Good background in formal methods expected.

Starting date : October 2016 (Sept. or Dec. also possible)

2 PhD positions in software engineering at Eindhoven University of Technology (The Netherlands)
by Alexander Serebrenik, April 11, 2016

Eindhoven University of Technology is looking for great candidates for two PhD positions in the area of software engineering/software evolution.

15 vacancies at Eindhoven University of Technology M&CS department
by Erik Scheffers, March 24, 2016

The Department of Mathematics and Computer Science (M&CS) of Eindhoven University of Technology (TU/e) is looking for 14 ambitious assistant professors and a full professor Database
Technology with a passion for research and education.

Intern/PhD/Postdoc Positions @ Max Planck Institute for Software Systems (MPI-SWS)
by Eva Darulova, Feb. 19, 2016

I am looking for motivated students and postdocs who would like to join my research group at the Max Planck Institute for Software Systems (MPI-SWS) to work on exciting projects at the intersection of software verification, synthesis and approximate computing.

PhD and post-doc positions @ETH
by Peter Mueller, Nov. 13, 2015

The Chair of Programming Methodology at ETH Zurich is recruiting PhD students and post-docs for several projects on program verification, static program analysis, and testing.

Postdoc positions - Center for Advanced Software Analysis, Aarhus University
by Anders Møller, Aug. 31, 2015

Several postdoc positions are available at the Center for Advanced Software Analysis at Aarhus University

PhD fellowship & Engineer position in programming tools at INRIA Bordeaux, France
by Nic Volanschi, May 26, 2015

Two open positions in the Phoenix research team at INRIA Bordeaux