List of job vacancies

PhD position, Inria Nancy
by Stephan Merz, Nov. 16, 2018

A PhD position on Leveraging Automatic Deduction for Verification is immediately available at Inria Nancy, co-funded by the Matryoshka ERC Starting Grant and the Region Grand-Est.

Post-doc (2y) on Formal Methods and Model-driven Software Engineering at HVL, Bergen/NO
by Volker Stolz, Nov. 10, 2018

The post-doctoral position is linked to the EU Horizon 2020 project COEMS - Continuous Observation of Embedded Multicore Systems ( which concentrates on RUNTIME VERIFICATION and TESTING of software in industrial automation. HVL is partner in the COEMS project together with five academic and industrial partners, including Airbus and Thales. The post-doctoral researcher will also be more broadly involved in ongoing research efforts within model-driven software engineering, automated code generation, software testing and verification for industrial automation and control systems.

Tenure-track opening at Max Planck Institute for Software Systems (MPI-SWS)
by Maria Christakis, Nov. 8, 2018

Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

MPI-SWS is part of a network of over 80 Max Planck Institutes, Germany's premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institute offers a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

The institute is located in the German cities of Saarbruecken and Kaiserslautern, in the tri-border area of Germany, France, and Luxembourg.
We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institute.

Qualified candidates should apply on our application website ( To receive full consideration, applications should be received by December 1st, 2018.

The institute is committed to increasing the representation of women and minorities, as well as of individuals with physical disabilities. We particularly encourage such individuals to apply. The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

PhD student and post-doc positions at ETH Zurich: Verification of a secure Future Internet architecture
by Peter Mueller, Nov. 3, 2018

The Chairs of Information Security and Programming Methodology at ETH Zurich are recruiting PhD students and post-docs for a project on formal verification of secure networked systems.

Faculty recruitment at IIT Madras
by rupesh0508, Oct. 27, 2018

Indian Institute of Technology Madras (IIT Madras)
Dept. of Computer Science and Engineering (
Chennai - 600036

Faculty openings: Assistant Professor and Professor Level
All Research areas in CSE

Application Portal:

Deadline: Nov. 16, 2018

Applications are invited from individuals, with an established record
of independent, high-quality research and commitment to teaching and
research, for Assistant Professor and Professor positions in the
Department of Computer Science and Engineering at IIT Madras.

The CSE Department has currently around 30 faculty members and expects
to grow to up to 40 faculty in the next three to five years.

The Department is seeking candidates in all research areas of
CSE. Details about the Department profile, publications and related
activities are available at the website listed above.

Questions? Pl. contact Prof. Krishna M. Sivalingam ([email protected];
[email protected]; [email protected])



Open Computer Science/ Language Editors practice
by KarolinaHejbudzka, Oct. 25, 2018

The following offer is addressed to students, PhD candidates, young researchers as well as more experienced scholars in the field of Computer Science.
Since we recognize you as a relevant candidate, we would like to invite you to consider the position of Language Editor at DE GRUYTER, or to forward this message to potentially interested applicants.

Research Assistant/Research Associate in Compiler Engineering at University of Edinburgh
by Bjoern Franke, Oct. 22, 2018

Applications are invited for the position of Research Assistant/Research Associate on the EPSRC funded project Discovery: Pattern Discovery and Program shaping for Heterogeneous Manycore Systems. This project is a collaboration between the Universities of Edinburgh and St Andrews, investigating new compiler based approaches to restructuring legacy sequential and parallel C++ applications to ease the introduction and tuning of skeleton-based patterned parallelism.

This post will involve working with the LLVM compiler framework, to encode definitions of the relevant code patterns as compiler passes, and to communicate the findings of these passes to the team members who are working on code-refactoring tools. There will be opportunities to take responsibility for guiding research decisions and for collaborating on research papers, all within the freedom of an academic research environment. The post would be suitable for a flexible working pattern, e.g. working largely remotely, and will offer opportunities for travel.


for more details.

The post is full time, fixed-term and is available from 1st January 2019 to 30th June 2020.

Informal enquiries can be addressed to Prof. Murray Cole ([email protected]) or Dr Bjoern Franke ([email protected]).

Business developer in the field of software technologies for next-generation ICT platforms
by Coen De Roover, Oct. 22, 2018

The Software Languages Lab ( of the Vrije Universiteit Brussel ( is hiring a business developer to
- help grow and sustain its portfolio of applied research projects in collaboration with industry (i.e., R&D projects).
- help grow and sustain its portfolio a portfolio of Contract Research with industry.

« previous123...78next »