List of job vacancies - page 3


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

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]

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.

[email protected] planck: The new Max Planck Graduate Center for Computer and Information Science
by Maria Christakis, Dec. 20, 2018

[email protected] planck is a new Max Planck wide graduate program that allows
admitted students to work with CS faculty at any Max Planck Institute
and offers them the full range of CS research and faculty in one
program.

Specifically, [email protected] planck is a highly selective doctoral program
that grants admitted students full financial support to pursue doctoral
research in the field of computer and information science, with faculty
at Max Planck Institutes and some of the best German universities.

To qualify for the program, students must hold a Bachelor’s or
Master’s degree in computer science (or a related field) and have an
outstanding academic record. We especially encourage applications
from students who wish to explore research across the CS spectrum
before committing to a topic and advisor.

For more information about [email protected] planck, see here:

https://www.cis.mpg.de/graduate-programs/cs-max-planck

For information about other doctoral programs offered by Max Planck
Institutes, see here:

https://www.cis.mpg.de/graduate-programs/

The next upcoming application deadline is December 31, 2018.

Tenure-track opening at Max Planck Institute for Software Systems (MPI-SWS)
by Maria Christakis, Nov. 8, 2018

Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

MPI-SWS is part of a network of over 80 Max Planck Institutes, Germany's premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institute offers a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

The institute is located in the German cities of Saarbruecken and Kaiserslautern, in the tri-border area of Germany, France, and Luxembourg.
We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institute.

Qualified candidates should apply on our application website (apply.mpi-sws.org). To receive full consideration, applications should be received by December 1st, 2018.

The institute is committed to increasing the representation of women and minorities, as well as of individuals with physical disabilities. We particularly encourage such individuals to apply. The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

PhD student and post-doc positions at ETH Zurich: Verification of a secure Future Internet architecture
by Peter Mueller, Nov. 3, 2018

The Chairs of Information Security and Programming Methodology at ETH Zurich are recruiting PhD students and post-docs for a project on formal verification of secure networked systems.