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