List of job vacancies
Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods
by
Heiko Mantel on
July 22, 2017
Call for PhD candidates in the Software Composition Group, U Bern
by
Oscar Nierstrasz on
March 29, 2017
PhD studentship: High level programming of data and pipelined parallel image processing on heterogeneous platforms
by
Greg Michaelson on
March 21, 2017
Postdoc positions - Center for Advanced Software Analysis, Aarhus University
by
Anders Møller on
November 15, 2016
Assistant/Associate/Professor, Tenure-track, Multiple positions at NAU - SICCS
by
Frederic Loulergue on
November 8, 2016
PhD and Postdoc positions at IMDEA, Madrid
by
Alexey Gotsman on
September 9, 2016
Postdoc position in verification at IMDEA, Madrid
by
Alexey Gotsman on
June 29, 2016
3 PhD positions at INRIA Grenoble, France
by
fradet on
May 25, 2016
2 PhD positions in software engineering at Eindhoven University of Technology (The Netherlands)
by
Alexander Serebrenik on
April 11, 2016
15 vacancies at Eindhoven University of Technology M&CS department
by
Erik Scheffers on
March 24, 2016
Intern/PhD/Postdoc Positions @ Max Planck Institute for Software Systems (MPI-SWS)
by
[Deactivated account] on
February 19, 2016
Postdoc positions - Center for Advanced Software Analysis, Aarhus University
by
Anders Møller on
August 31, 2015
PhD fellowship & Engineer position in programming tools at INRIA Bordeaux, France
by
[Deactivated account] on
May 26, 2015
Open PhD position at Mines Nantes
by
[Deactivated account] on
April 9, 2015
Looking for PhDs and Postdocs in Software Analytics and Data Science for 3TU.BSR "Big Software on the Run" research program
by
Marieke Huisman on
February 9, 2015
Postdoc position in programming software-defined networks @ Université catholique de Louvain
by
[Deactivated account] on
November 6, 2014
PhD positions at ETH Zurich in concurrency & verification (ERC advanced investigator project)
by
[Deactivated account] on
January 15, 2014
postdoc and PhD positions in programming languages at Tokyo Tech
by
masuhara on
January 2, 2014
Postdoc position in verification at IMDEA, Madrid
by
Alexey Gotsman on
October 28, 2013
postdoc position in Toulouse on formal approach to requirements engineering
by
Julien Brunel on
September 26, 2013
Postdoc and PhD positions at Center for Advanced Software Analysis
by
Anders Møller on
August 18, 2013
Post-doctoral position on "formal approach to requirement engineering"
by
Julien Brunel on
July 17, 2013
Postdoctoral position in the area of Compilers for Massively Parallel Architectures
by
Ahmed Hemani on
May 14, 2013
Research Positions in Program Analysis and Systems at University College London
by
Peter O'Hearn on
May 6, 2013
PhD position on "Semantics and Verification of Accelerator Programming"
by
[Deactivated account] on
April 24, 2013