List of job vacancies - page 3


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/

PhD studentship: mapping SYCL (C++) to FPGA architectures
by Rob Stewart, March 1, 2019

Two key requirements for real time decision making in robotics systems and smart sensors are 1) increased compute power for intelligent autonomy, and 2) energy efficiency for long-lasting operation. FPGAs are an ideal fit, but are notoriously difficult to program.

This PhD project will develop hardware cost modelling and compiler optimisation techniques to map SYCL, a C++ standard for heterogeneous computing, down to programmable FPGAs. The goal is to support the generation of extremely efficient application specific processors from high level C++, for autonomous devices and smart sensors.

The PhD will be an industrial collaboration between Codeplay and Dr Robert Stewart at Heriot-Watt University in Edinburgh.

Application deadline: 17th March.

https://www.edinburgh-robotics.org/project/mapping-high-level-parallel-code-bespoke-hardware-energy-efficient-and-real-time-autonomous

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.

Post-doc positions in Trustworthy Software
by Abhik Roychoudhury, Dec. 25, 2018

Several post-doc positions are available at the National Satellite of Excellence in Trustworthy Software Systems at the National University of Singapore. Please contact Director of the center

Prof. Abhik Roychoudhury [email protected]