List of job vacancies - page 2


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.

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.

12 fully-funded 3-year PhD scholarships (for UK/EU students) in PL at the University of Kent
by Mark Batty, Feb. 22, 2019

The Programming Languages and Systems (PLAS) group at the University of
Kent's School of Computing invites applications for 12 fully-funded
3-year PhD scholarships (for UK/EU students).

Applications are due by the 26th April 2019.

PhD Student or Post-Doc Positions Available for Program Analysis and Compilers
by Paul Gazzillo, Feb. 1, 2019

We are now acceptPhD Students or Post-Doc Positions Available for Program Analysis and Compilersing funded PhD students or post-docs for research in program analysis and compilers on an NSF funded project in beautiful Orlando at the University of Central Florida. PhD students receive free tuition as well as a research stipend.

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]