List of job vacancies - page 6


Positions at ETH Zurich in concurrency & verification (ERC Advanced Investigator Grant)
by Bertrand Meyer Bertrand Meyer, July 9, 2012

We have postdoc and PhD positions at the Chair of Software Engineering in connection with a recent Advanced Investigator Grant to Bertrand Meyer from the ERC. We are building advanced practical solutions for "Concurrency Made Easy" and a verification-aware IDE.

Post-Doctoral Researcher Position at LIFO, Orleans, France
by Frederic Loulergue, June 27, 2012

Project: Parallel Program Development with Algorithmic Skeletons (PaPDAS)
Starting date: September 2012 - January 2013
Duration: 12 months

http://frederic.loulergue.eu/ftp/postdoctoral_researcher.pdf

PhD position available at Inria Bordeaux, France
by Emilie Balland, May 24, 2012

PhD fellowship, Phoenix Research Group, INRIA Bordeaux, France

Title: Towards a Development and Verification Methodology Dedicated to the Orchestration of Networked Devices
Authors: Charles Consel & Emilie Balland
Starting date: September 2012
Duration: 36 months
Keywords: Design language, Static Analysis, Generative Programming, Reliability, Quality of Service

PhD position available in Software Engineering at Inria Bordeaux
by Emilie Balland, April 18, 2012

Towards a certifying open platform for home automation
------------------------------------------------

PhD fellowship, Phoenix Research Group, INRIA Bordeaux, France

Starting date: October 2012
Duration : 36 months
Application deadline: May 04, 2012

Lecturer in Computer Science-
by Adrian Johnstone, Feb. 9, 2012

Royal Holloway is investing in Computer Science and wishes to establish a major research presence in Software Engineering, Distributed Systems, or an area closely related to either. We shall appoint to this post a researcher with a proven or promising research record in one of these fields. In the framework of this initiative, posts of Professor and of Reader/Senior Lecturer in these fields are also currently advertised.

Reader/Senior Lecturer in Computer Science- Royal Holloway, University of London
by Adrian Johnstone, Feb. 9, 2012

Royal Holloway is investing in Computer Science and wishes to establish a major research presence in Software Engineering, Distributed Systems, or an area closely related to either. We shall appoint to this post a researcher with a proven record of research excellence in one of those fields. In the framework of this initiative, posts of Professor and of Lecturer in those fields are also currently advertised.

2 faculty positions at University of Minnesota
by Eric Eric Van Wyk, Dec. 23, 2011

The Department of Computer Science and Engineering at the University of Minnesota – Twin Cities invites applications from outstanding candidates in all areas of Computer Science for two faculty positions at the rank of Assistant Professor, although exceptional candidates for more senior positions will be considered. We strongly encourage applications from women and members of minority groups.

A complete description of the positions and application instructions are available here:
http://www.cs.umn.edu/resources/employment/faculty.php

PhD position on "Semantics and Verification of Accelerator Programming"
by Marieke Huisman, Oct. 13, 2011

The research group Formal Methods and Tools at the University of
Twente (Enschede - The Netherlands) is looking for

a PhD researcher (4 years)

to work on the EU Strep project CARP (Correct and Efficient Accelerator Programming), funded by the European Union. Other partners in the project are Imperial College, UK; Realeyes, Estonia; ARM, UK; RTWH Aachen, Germany, Monoidics, UK, ENS, France and Rightware, Finland.

Within the context of the CARP project, the PhD student will work
in particular on:

- requirements analysis for accelerator programming
- the formal semantics of an intermediate programming language for describing accelerator algorithms
- developing logic-based verification techniques for this intermediate programming language, taking into account common accelerator programming patterns