List of job vacancies


Research professorship in security at the software-hardware interface
by David Monniaux, March 20, 2023

CNRS is opening a research professorship in security at the software-hardware interface.

Deadline: April 14, 2023

PhD position on Program Analysis for Smart Contracts at the Vienna University of Technology
by Maria Christakis, March 20, 2023

I am hiring a PhD student to work on Program Analysis for Smart Contracts at the Vienna University of Technology, Austria.

If you are interested, please send me your CV.

Expected start: September 2023

Best regards,
Maria Christakis
https://mariachris.github.io

Postdoc position on Program Analysis at the Vienna University of Technology
by Maria Christakis, March 20, 2023

We are hiring a postdoctoral researcher in Software Engineering and Program Analysis at the Vienna University of Technology, Austria.
If you are interested, please apply here: https://jobs.tuwien.ac.at/Job/204547

Deadline: May 25, 2023
Expected start: September 2023

Best regards,
Maria Christakis
https://mariachris.github.io

PhD and Post-doc Positions in Computer Science, University of Regensburg
by Philipp Ruemmer, March 10, 2023

The Theoretical Computer Science Group at the University of Regensburg, Germany, is recruiting both PhD students and Post-docs.

Three assistant/associate professor positions in security at the VU Amsterdam
by Wan Fokkink, March 8, 2023

Three positions for assistant/associate professor in the area of security, related to theory, vulnerability, and AI.

Vacancy: Assistant/Associate Professor Energy-efficient Software Development, University of Twente, Netherlands, Formal Methods and Tools group
by Marieke Huisman, March 6, 2023

Vacancy: Assistant/Associate Professor Energy-efficient Software Development
University of Twente, Netherlands
Formal Methods and Tools group

Multiple (Assistant) Professor Vacancies at Eindhoven University of Technology, Netherlands
by Clemens Dubslaff, March 2, 2023

The department of mathematics and computer science at TU/e has 25 (assistant) professor vacancies. One targeted area is in the domain of formal methods, broadly constructed.

https://jobs.tue.nl/nl/vacature/assistant-associate-and-full-professors-mathematics-and-computer-science-982722.html

Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University
by Atsushi Igarashi, Feb. 28, 2023

We are seeking a postdoc researcher, who works at Kyoto University, Japan for a project "Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software" by Japan Science and Technology Agency. This is a great opportunity for programming language researchers who wish to pursue novel real-world applications.

« previous123...1112next »