List of job vacancies - page 2


Multiple PhD positions at The Australian National University
by Nisansala Yatapanage, Sept. 30, 2022

Multiple PhD positions are available at the School of Computing, The Australian National University, in areas such as programming languages, logic, formal methods, systems and software engineering.

Tenure-Track Faculty in Artificial Intelligence and Machine Learning
by Onboarding_CISPA, Sept. 5, 2022

Applications are invited for tenure-track faculty positions in all areas related to Artificial Intelligence and Machine Learning.

Positions for Postdocs and Ph.D. candidates
by Heiko Mantel, Aug. 31, 2022

The chair MAIS of Prof. Dr. Heiko Mantel at TU Darmstadt is offering
positions for Postdocs and Ph.D. candidates in the following areas:

- Formal Modeling and Tool-supported Verification

- Efficient and Reliable Run-time Monitoring and Enforcement

- Static Side-channel Analysis and Mitigation

Tenure-Track Faculty in all areas related to Security, Privacy, and Cryptography
by Onboarding_CISPA, Aug. 30, 2022

Applications are invited for tenure-track faculty positions in all areas related to Security, Privacy, and Cryptography.

Postdoc and PhD positions at Inria and École Normale Supérieure in Paris in collaboration with Fujitsu Japan
by Caterina Urban, Aug. 23, 2022

Caterina Urban, research scientist at Inria and École Normale Supérieure in Paris, is looking for strong and motivated postdocs and PhD students to work on a collaborative project with Fujitsu Japan on practical formal verification methods for machine learning.

PhD scholarship, Heriot-Watt University
by Ekaterina Komendantskaya, July 29, 2022

A PhD Scholarship is available at Heriot-Watt University, Scotland. The PhD position will be at the Lab for AI and Verification (www.laiv.uk), and will be funded and co-sipervised by Slumberger Cambridge. The Scholarship starts on the 1 October 2022.

Fully funded PhD position available at IRIF, Université Paris Cité
by Mo Foughali, July 13, 2022

One PhD position (in Computer Science) on Cyber-physical systems, verification and learning at Institut de Recherche en Informatique Fondamental (IRIF) in Paris

First 8 scholarships available for the Ph.D. Program in Computer Science at the Universities of Pisa, Florence and Siena
by Antonio Brogi, July 11, 2022

First 8 scholarships available for the Ph.D. Program in Computer Science at the Universities of Pisa, Florence and Siena