List of job vacancies


Funded Ph.D. Position in Automated Model Learning from Software Evolution (Deadline: 27 Feb.)
by Mohammad Mousavi, Feb. 13, 2020

=================================================
Fully Funded Ph.D. Position in
Automated Model Learning from Software Evolution

Project in Collaboration with British Telecom.

(Funding available to European/UK Students Only)

To apply please visit:
https://le.ac.uk/study/research-degrees/funded-opportunities/epsrc-studentships

Application Deadline: 27 February 2020
=================================================

Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software
by Bor-Yuh Evan Chang, Nov. 20, 2019

Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder in the area of Trustworthy Software. Applications will be evaluated beginning on December 1, 2019 and will continue until the position is filled.

Tenure-Track Faculty Positions at the MPIs for Informatics, Software Systems, and Security & Privacy
by Maria Christakis, Oct. 16, 2019

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+PostDoc positions at Aarhus University in Logic, Semantics, Verification and Programming Languages
by Anders Møller, Oct. 1, 2019

The Department of Computer Science at Aarhus University, Denmark, offers a considerable number of PhD and PostDoc positions in the areas of Logic, Semantics and Programming Languages.

Postdoctoral positions in Program Analysis and Verification at Virginia Tech
by Binoy Ravindran, Sept. 30, 2019

Multiple postdoctoral positions are available with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (https://vt.edu/) on projects on program analysis and verification. A particular focus of the positions is verification of binary programs through decompilation, reasoning using techniques such as abstract interpretation, and verification of security properties.

Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich
by Peter Mueller, Sept. 25, 2019

The Institute of Information Security (the groups of Prof. Adrian Perrig and Prof. David Basin) and the Programming Methodology Group (Prof. Peter Müller) at ETH Zurich have multiple open positions for PhD students and Postdocs in a research project in the area of digital trust. The goal of this project is to develop a comprehensive, formally verified security architecture for communication in the physical and digital world. In particular, the project will develop protocols to transfer physical trust relationships into the digital world and store, manage, and use them. The design will take into account human (mis-)behavior from the outset. A particular emphasis is on the formal verification of the architecture both at the design and implementation level to rule out any undesired behavior.

Postdoc position at Northeastern University
by Frank Tip, Sept. 14, 2019

A postdoc position is available at Northeastern University, to work on research projects related to testing and analysis of asynchronous software.

PhD and postdoc positions at Schaffhausen Institute of Technology
by Bertrand Meyer, Sept. 2, 2019

Positions in software verification

« previous123...89next »