List of job vacancies - page 3


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.

[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.