List of job vacancies - page 2


2 PhD positions on the ChEOPS project in Twente and Eindhoven (Netherlands): Verified Construction of Correct and Optimised Parallel Software
by Anton Wijs, May 27, 2019

The University of Twente and the Eindhoven University of Technology (both in The Netherlands) are seeking two PhD students to conduct research in the new project "ChEOPS: Verified Construction of Correct and Optimised Parallel Software", on the development of formal verification techniques to aid the construction of correct, high-performance GPU software.

Postdoctoral positions in Program Analysis and Compiler/Run-time Optimizations at Virginia Tech
by Binoy Ravindran, May 20, 2019

Virginia Tech's Systems Software Research Group has multiple postdoctoral positions in program analysis and compiler optimizations.

Post Doctoral Researcher: Dynamic Analysis of Python.
by Paddy Krishnan, May 16, 2019

Oracle Labs Australia invites applications for a full-time, 2 year fixed-term Postdoctoral Researcher position. The main aim of the 2 year project is to deliver novel and useful solutions to analyse systems written in Python with a view to detecting security vulnerabilities.

Fully funded PhD at the University of Surrey
by Brijesh Dongol, May 7, 2019

We are seeking a PhD student to work on the project

Persistent Safety and Security

at the University of Surrey. The project is funded by VeTSS (https://vetss.org.uk/) and is open to any UK/EU national.

Applications will be accepted until Sept, but will be evaluated upon submission. The anticipated start date for the project is 1st Oct 2019.

Full details of the project are available here:
https://www.jobs.ac.uk/job/BRZ779/phd-studentship-opportunity-in-persistent-safety-and-security

For further information, please contact Brijesh Dongol ([email protected]).

2 fully funded PhD positions at INRIA Grenoble: causal analysis and explainability
by goessler, April 18, 2019

The SPADES team is hiring two PhD students on
- Abstractions for Causal Analysis and Explanations in Concurrent Programs
- Construction of Safe Explainable Cyber-Physical Systems.

Permanent Academic positions at Heriot-Watt University
by Ekaterina Komendantskaya, April 12, 2019

Several permanent academic posts are opening at Heriot-Watt University, on a range of subjects: programming languages, verification, security, rigourous systems.

Fully-funded PhD position at Inria Lille (France)
by Simon Bliudze, April 5, 2019

We are hiring a PhD student on a fully-funded position at the Inria Lille team Spirals (https://team.inria.fr/spirals/) to work on the

Design of correct-by-construction self-adaptive cloud applications using formal methods.

Applications should be submitted at the Inria jobs website by 22/04/2019:

https://jobs.inria.fr/public/classic/fr/offres/2019-01375

Detailed information available on my website:

http://www.bliudze.me/simon/2019/04/design-of-correct-by-construction-self-adaptive-cloud-applications-using-formal-methods/

Call for PhD students and Postdoctoral Research Fellows in Secure Software Engineering
by Leon Moonen, March 14, 2019

Simula Research Laboratory is seeking outstanding candidates for full-time 3-year PhD positions and full-time 2.5-year Postdoctoral Research Fellow positions in Secure Software Engineering. The appointment is available immediately and review of candidates will be performed continuously until the position has been filled. Note that a second set of positions is available with a start date of April 2020.

Project Description: The position is funded by the Norwegian Research Council via the IKTPLUSS project secureIT. The overall goal of the project is to devise intelligent methods and techniques that will help software engineers predict the vulnerability of source code during development. More concretely, we will investigate the use of data-driven techniques to improve vulnerability prediction based on vulnerability smells and security anti-patterns, and to conduct anomaly-based vulnerability prediction.