List of job vacancies - page 5
- Tenure-Track Faculty Positions at the MPIs for Informatics, Software Systems, and Security & Privacy
The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum) invite applications for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill several positions.
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.
The institutes are part of a network of over 80 Max Planck Institutes, Germany’s premier basic-research organizations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institutes offer 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.
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 institutes.
Qualified candidates should apply on our application website (http://apply.cis.mpg.de/). To receive full consideration, applications should be received by December 15th, 2019.
The Max Planck Society wishes to increase the number of women in those areas where they are underrepresented. Women are therefore explicitly encouraged to apply. The Max Planck Society is also committed to increasing the number of employees with severe disabilities in its workforce. Applications from persons with severe disabilities are expressly desired.
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 and postdoc positions at Schaffhausen Institute of Technology
Positions in software verification
- Postdoc positions in verification and distributed systems at IMDEA, Madrid
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.
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
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-securityFor further information, please contact Brijesh Dongol ([email protected]).
- Permanent Academic positions at Heriot-Watt University
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)
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
Postdoc positions on topics at the intersection of programming languages and distributed systems.
