List of job vacancies - page 6


Postdoc position in verification at IMDEA, Madrid
by 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.

Postdoctoral position in the area of Compilers for Massively Parallel Architectures
by Ahmed Hemani, May 14, 2013

A research group within the Department of Electronic Systems, School of ICT, has been focusing on massively parallel domain customized coarse grain reconfigurable fabrics and compilers. The effort has primarily focused on streaming architectures for digital signal processing. More recent effort has targeted computational biology with focus on bio-informatics and computational neuroscience. The ambition is to further increase effort in this domain with neuromorphic computing for embedded systems.

The group is looking for a postdoctoral that has relevant competence in compilers for massively parallel architectures. Background in one or more of these areas - bio-informatics, brain simulation models and control theory - would be considered a clear advantage; interest to work in these areas is a must. The CV should clearly identify the areas of expertise.

Duties would include close supervision of 2-3 PhD students working on these topics, helping write high-impact papers and funding applications in these areas.

Research Positions in Program Analysis and Systems at University College London
by Peter O'Hearn, May 6, 2013

The University College London (UCL) Department of Computer Science
invites applications for three researcher positions at the
intersection of secure computer systems and practical program
analysis. Two postdoc positions and one research engineer position are
available. Those chosen to fill these positions will be part of the
core team of investigators embarking on a new project to improve the
security of real-world systems software (e.g., the Linux operating
system, open-source web browsers such as Chrome and Firefox, and the
Apache web server) through the development and application of novel
automated program analysis techniques. This project will attack systems security problems by bringing together researchers from the programming languages and computer systems areas.

PhD position on "Semantics and Verification of Accelerator Programming"
by Marieke Huisman, April 24, 2013

[[Apologies for multiple copies]]

Application deadline is in a week from now, on 1st of May!

PhD position for four years on "Semantics and Verification of Accelerator Programming" in the Formal Methods and Tools group, University of Twente, Netherlands
Deadline for application: 1st of May
More information and applications via: http://utwente.nl/vacatures/

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.

PhD position on "Semantics and Verification of Accelerator Programming"
by Marieke Huisman, March 26, 2013

PhD position for four years on "Semantics and Verification of Accelerator Programming" in the Formal Methods and Tools group, University of Twente, Netherlands

Deadline for application: 1st of May

More information and applications via: http://utwente.nl/vacatures/