List of job vacancies


Post-doc (Amsterdam) in programming languages and energy-, time- and security-aware parallel computing
by Clemens Grelck, Oct. 15, 2018

The Systems and Networking Lab (SNE) in the Informatics Institute of the University of Amsterdam invites applications for a 2-year post-doctoral researcher position in the area of programming languages for energy-, time- and security-aware parallel computing. The successful candidate will primarily work with Dr Clemens Grelck and Dr Sebastian Altmeyer in the EU Horizon-2020 research project TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms, http://teamplay-h2020.eu/).

Funded PhD position in software engineering for computational biology at The Francis Crick Institute and King's College London
by Steffen Zschaler, Oct. 8, 2018

We are inviting applications for a funded PhD position at The Francis Crick Institute and King's College London. The research will be undertaken at the interface between software engineering (specifically, model-driven engineering and language engineering) and computational biology, developing a range of domain-specific modelling languages for building simulations of cell behaviour and interaction.

PhD proposal (@ ECE Paris/Télécom SudParis).
by Sebti Mouelhi, Oct. 1, 2018

Synchronous Formal Design and Verification of Cyber-Physical Systems

Research Fellow in Verification at the University of Surrey, UK
by Brijesh Dongol, Sept. 4, 2018

We are seeking a post-doctoral research fellow for the EPSRC-funded research project "Verifiably Correct Transactional Memory" at the University of Surrey, UK. The position is fixed-term for 3 years.

PhD and post-doc positions ETH Zurich
by Peter Mueller, Sept. 3, 2018


The Chair of Programming Methodology at ETH Zurich is recruiting PhD students and post-docs for several projects on program verification and static program analysis for program correctness and security.

Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies
by Tarmo Uustalu, Aug. 29, 2018

The Government of Estonia has allocated funds to create six new
research groups in selected areas of ICT at the Tallinn U of
Technology and U of Tartu during 2018-2022.

One of these areas, to be hosted at the Tallinn U of Technology, is
trustworthy software technologies.

Postdoc and PhD positions - Center for Advanced Software Analysis, Aarhus University
by Anders Møller, Aug. 14, 2018

Several postdoc positions and PhD stipends are available at the Center for Advanced Software Analysis at Aarhus University

Post-doctoral researchers wanted for Coq Developments
by David Monniaux, July 7, 2018

VERIMAG has TWO open post-doc positions on Coq developments (certified distributed algorithms; certified compiler)

- Contracts: for 12 months
- Location: Grenoble, France
- Hosting institution: VERIMAG laboratory (Université Grenoble Alpes, CNRS Grenoble Institute of Technology)
- Scientific advisors: 1) Karine Altisen, Pierre Corbineau, Stéphane Devismes
2) Sylvain Boulmé, David Monniaux

« previous123...78next »