List of job vacancies

Postdoc on Verification of Network Protocols (Denmark)
by srba, July 23, 2019

We are looking for a highly motivated researcher with interest in formal methods and their application to verification of computer networks in order to join a project on "Quantitative Analysis and Synthesis of Network Protocols".

Call for PhD students and Postdoctoral Research Fellows in Data-Driven Software Engineering
by Leon Moonen, July 22, 2019

Simula Research Laboratory is seeking outstanding candidates for three-year full-time paid PhD positions and two-year full-time Postdoctoral Research Fellow positions in the field of data-driven software engineering with a specific focus on methods and techniques that enable intelligent self-healing software systems. The appointment is available immediately and review of candidates will be performed continuously until the position has been filled. Note that a second PhD position is available with a planned start date of October 2020 for which we also accept applications at this time.

Several Tenure and Non Tenure Faculty Position in BITS Pilani
by Soumyadip Bandyopadhyay, July 20, 2019

BITS PILANI recognized by MHRD as an Institute of Eminence and ranked in top 500 by QS invites application for non-tenure position for a maximum period of 2 years from the date of joining (Assistant Professor Grade II L11), for the Department of Computer Science & Information Systems. This position is open only for Indian Campuses. Eligibility criteria and Terms and Conditions available
Email CV at [email protected] with subject “ASTP L11” indicating your campus preference, if there is any.

Postdoctoral Position in Attack Tolerance - France Paris Saclay
by Fatiha Zaidi, July 12, 2019

Postdoctoral position in Attack Tolerance using Machine Learning and Big Data
at Paris Saclay University in the Verification of Algorithms, Languages and Systems (VALS) Team.
The University is located at Orsay, France.

PhD in concurrency theory at TU Darmstadt
by Kirstin Peters, July 9, 2019

The position includes research and teaching duties. In research, the candidate is expected to contribute to the analysis and development of formal methods for the verification of concurrent systems.

PhD position in Cyber-Physical Systems Group, part of joint Austrian Doctoral College LogiCS, TU Wien, Vienna, Austria - Deadline: August 31, 2019
by Mihaela Rozman, July 8, 2019

The successful applicant will carry out his/her PhD in the research area of formal methods applied to the specification and monitor of large-scale, spatially-distributed, stochastic systems, contributing to the recently acquired project: “High-dimensional statistical learning: new methods to advance economic and sustainability policies”. The successful candidate will be a PhD student of the LogiCS Doctoral Program and she/he will be supervised by Prof. Ezio Bartocci and co-supervised by Dr. Laura Nenzi. The application deadline is August 31, 2019.

Assistant Professors (tenure-track) or Associate Professors in Computer Science at Aarhus University, Denmark
by Anders Møller, July 5, 2019

The Department of Computer Science at Aarhus University is looking for excellent and visionary tenure track Assistant Professors or Associate Professors to push the frontiers of Computer Science research.

Postdoc position on quantified effects at Reykjavik University
by Tarmo Uustalu, June 18, 2019

Quantified computational effects and interaction

Department of Computer Science, Reykjavik University

One postdoc position

« previous123...910next »