List of job vacancies


Postdoctoral Researcher in Automated Program Repair and Natural Language Processing - University of York, UK
by nmatragkas, Sept. 17, 2018

An exciting opportunity has arisen for a research associate to work on an EPSRC-funded project titled "Automatic Repair of Natural Source Code" (MANATEE) within the Department of Computer Science at the University of York. The project lies at the intersection of machine learning and automated program repair and will contribute to the design and implementation of methods and tools that are capable of automatically diagnosing and fixing software bugs. The project is in collaboration with IBM UK.

PhD position in Automated Program Repair - University of York, UK
by nmatragkas, Sept. 17, 2018

The Department of Computer Science at the University of York is offering a 3-year PhD studentship for a qualified and motivated candidate to work on automated program repair and machine learning.

Post-doc in programming languages for energy-, time- and security-aware parallel computing
by Clemens Grelck, Sept. 14, 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/).

Professor and Head of the Department of Informatics, University of Leicester, UK (Deadline: October 15th)
by Mohammad Mousavi, Sept. 12, 2018

Professor and Head of the Department of Informatics,
University of Leicester, UK

Deadline: October 15th

Official advert and application form available from:
https://jobs.le.ac.uk/vacancies/vacancy-details.aspx?VacancyID=405

Post-doc and PhD openings in Program Analysis and Repair
by Andrzej Wasowski, Sept. 8, 2018

The IT University of Copenhagen invites candidates for PhD and
Post-doc positions fully funded by the Danish Independent Research
Council in the INSIGHT project – “Program Repair with Static
Insights”.

PhD studentship in "Computational modelling of cryopreservation"
by Roman Bauer, Sept. 6, 2018

We are seeking a PhD student with excellent programming skills and an interest in biology. The studentship will be based at Newcastle University (UK) and benefit from collaboration with CERN.

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.

« previous123...78next »