List of job vacancies


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.

Fully-funded four-year PhD scholarships at IMT Lucca
by Mirco Tribastone, March 14, 2019

Fully-funded PhD positions in Computer Science on topics related to modelling, analysis, and verification of computing systems.

Research Assistant / PhD Student (Post-Doc)
by Stefan Leue, March 7, 2019

Formal Modeling and Analysis of Systems

New UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence -- Current topics include software (language) engineering/verification of AI systems
by Steffen Zschaler, March 7, 2019

Announcing a new centre for doctoral training offering fully funded PhD positions in safe and trusted AI

Post-Doctoral Position on Software Security at Uppsala University
by Bengt Jonsson, March 6, 2019

Uppsala University invites applications for a post-doctoral position in software security. The candidate will perform research to develop and apply techniques for detecting and removing security vulnerabilities in software.

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

2 Postdocs in Formal Methods and Cyber Security
by albertolluch, Feb. 25, 2019

DTU Compute invites applications for two appointments as Postdoc in the areas of formal methods and cyber security.

Candidates with a research background and excellent publication record in at least one of the following areas are particularly encouraged to apply:
- formal methods for security and privacy
- security and privacy in IoT/cloud/fog/edge computing
- security and privacy in software engineering
- security, privacy and AI
- security intelligence

Summary:
- Candidates must have a completed or close-to-completion PhD in Computer Science, Computer Engineering or similar disciplines.
- The period of employment is 2 years.
- Location: DTU campus in Lyngby, Denmark
- Application deadline: 30 April 2019 (local time).

Further information on the links below

Postdoc in Formal Methods and IoT
https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=179775f6-8edd-4f0c-aeae-380854ec3f34

Postdoc in Formal Methods and Security Intelligence
https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=441c3345-739c-437a-8b05-e98e8885b528

Fully-funded UK/EU PhD studentship in weak-memory concurrency
by Mark Batty, Feb. 22, 2019

Fully-funded 3.5 year UK/EU PhD studentship on weak-memory concurrency (University of Kent)
with Mark Batty, Research Fellow of the Royal Academy of Engineering.

« previous123...89next »