List of job vacancies - page 2


PhD and postdoc positions at Schaffhausen Institute of Technology
by Bertrand Meyer, Sept. 2, 2019

Positions in software verification

Postdoc positions in verification and distributed systems at IMDEA, Madrid
by Alexey Gotsman, May 31, 2019

Postdoc positions in verification and distributed systems. Possible areas include the verification of distributed protocols, theoretical foundations of blockchains and static analysis of distributed applications.

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]).

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/

Postdoc positions in PL and distributed systems at IMDEA, Madrid
by Alexey Gotsman, Jan. 8, 2019

Postdoc positions on topics at the intersection of programming languages and distributed systems.

Postdoc position at Colorado in data-driven program analysis with potential industrial applications
by Bor-Yuh Evan Chang, Dec. 21, 2018

The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate working in the area of data-driven program analysis. This position presents a unique opportunity for potential industrial application in collaboration with GitHub.