List of job vacancies
- Research professorship in security at the software-hardware interface
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
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
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/204547Deadline: May 25, 2023
Expected start: September 2023Best regards,
Maria Christakis
https://mariachris.github.io- PhD and Post-doc Positions in Computer Science, University of Regensburg
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
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
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
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
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.