List of job vacancies - page 7


Looking for PhDs and Postdocs in Software Analytics and Data Science for 3TU.BSR "Big Software on the Run" research program
by Marieke Huisman, Feb. 9, 2015

In the context of the 3TU.BSR "Big Software on the Run" research program we are looking for 6 PhDs and 3 Postdocs interested in Software Analytics and Data Science.

Postdoc position in programming software-defined networks @ Université catholique de Louvain
by Marco Canini, Nov. 6, 2014

We are starting a new project to enable the next-generation of software-defined network services in IXPs. We are looking for motivated candidates to fill a postdoctoral researcher position.
http://perso.uclouvain.be/marco.canini/positions/

PhD positions at ETH Zurich in concurrency & verification (ERC advanced investigator project)
by Sebastian Nanz, Jan. 15, 2014

As part of our "Concurrency Made Easy" ERC Advanced Investigator Grant project (2012-2017), we are offering PhD positions at the Chair of Software Engineering of ETH Zurich.

postdoc and PhD positions in programming languages at Tokyo Tech
by masuhara, Jan. 2, 2014

We are looking for one postdoc researcher and one PhD student to join
the Programming Research Group (http://prg.is.titech.ac.jp/), lead by
Prof. Hidehiko Masuhara, at Department of Mathematical and Computer
Sciences, Tokyo Institute of Technology. The posts are funded by a
JST CREST research project on Modularity for Supercomputing. The
postdoc position is available immediately. The PhD position is for
the terms from April 2014, but requires application by Jaunary 22,
2014.

Postdoc position in verification at IMDEA, Madrid
by Alexey Gotsman, Oct. 28, 2013

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

postdoc position in Toulouse on formal approach to requirements engineering
by Julien Brunel, Sept. 26, 2013

A post-doctoral position is still available in Toulouse, France, jointly proposed by Onera/DTIM and IRIT. The objective is to enrich existing formally-grounded requirement modelling approaches in order to allow to reason about the problem domain.

Further details are available at the following link:
http://www.onera.fr/sites/default/files/u494/postdoc-Onera.pdf

Postdoc and PhD positions at Center for Advanced Software Analysis
by Anders Møller, Aug. 18, 2013

Several postdoc positions and PhD stipends are available at the Center for Advanced Software Analysis (CASA) at Aarhus University. The CASA center covers research in program analysis, type systems, testing, language design and programming tools for web application development.

Post-doctoral position on "formal approach to requirement engineering"
by Julien Brunel, July 17, 2013

A post-doctoral position is available at Toulouse, France, jointly proposed by Onera/DTIM and IRIT. The objective is to enrich existing formally-grounded requirement modelling approaches in order to allow to reason about the problem domain.