List of job vacancies - page 8


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

open post-doctoral position (INRIA Bordeaux, France)
by Emilie Balland, June 6, 2011

Design-driven Development for Resilient Systems
Phoenix Research Group (http://phoenix.inria.fr), INRIA Bordeaux, France

The objective of this postdoctoral fellowship is to propose a development methodology for resilient systems that takes into account dependability concerns in the early stages and ensures the traceability of these requirements throughout the system life-cycle, even during runtime evolution. To provide a high level of support, this methodology will rely on a design paradigm dedicated to sense/compute/control applications. This design will be enriched with dependability requirements and used to provide support throughout the system life-cycle. This work is part of a collaborative project with the ADAM research group (INRIA, Lille) and the TSF research group (LAAS, Toulouse).

Two 3-year Research Assistants - PLanCompS project - Swansea
by Peter Mosses, May 18, 2011

Applications are invited for two 3-year Research Assistant posts at Swansea in connection with the PLanCompS project. These posts provide an excellent opportunity for researchers interested in the formal specification and implementation of programming languages.

Post-doctorate position on model-driven engineering embedded software architectures at INRIA, Rennes
by Jean-Pierre Talpin, May 2, 2011

A post-doctorate position is vacant at INRIA (Rennes, France) to participate in a collaborative effort to design, implement and case study a toolset that supports co-modeling embedded software architectures from multiple design views: functional, structural and interfaces. The objective of the post-doctorate will be to participate and contribute in the theoretical and practical challenges of designing this framework. Results will be validated through an industrial case study to be conducted in direct collaboration with the partners of the project.

open post-doc position at INRIA Bordeaux, France
by Emilie Balland, April 21, 2011

The objective of this postdoctoral fellowship is to propose a development methodology for resilient systems. This work is part of a collaborative project with the ADAM research group (INRIA, Lille) and the TSF research group ( LAAS, Toulouse).

Research Leaders in the Mathematical and Computer Sciences
by Greg Michaelson, March 3, 2011

The School of Mathematical and Computer Sciences at Heriot-Watt
University is recruiting 3-4 research leaders per year. If you are a top quality researcher, already established or soon to be a leader in your field, the opportunity exists to join our School as a Professor/Reader/Lecturer in one of our three Departments. Please visit:

http://www.macs.hw.ac.uk/~dwcorne/gpmacs.html

Postdocs and PhD positions - Center for Advanced Software Analysis
by Anders Møller, Jan. 12, 2011

Several postdoc positions and PhD stipends are available in the new Center for Advanced Software Analysis (CASA) at Aarhus University, Denmark.

More information: http://cs.au.dk/CASA/

Postdoc position on Logical Causality in Distributed Systems
by goessler, Jan. 10, 2011

A post-doc position on

Logical Causality in Distributed Systems

is open at INRIA Grenoble - Rhône-Alpes. A detailed description can be
found at

http://pop-art.inrialpes.fr/people/goessler/postdoc-causality.pdf

PhD scholarship in Secure Services at CASED/TU Darmstadt
by ericbodden, Jan. 5, 2011

--- PhD scholarship in Secure Services ---

« previous12...678next »