Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en/offerta-formativa/dottorato/2025/computer-science About the
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
modalities and methods in breast cancer diagnostics, focusing on screening and the role of Artificial Intelligence (AI). For more info, please visit link . LUCI is well-established, with an extensive group
-
possibility of extension) Start date: August 2026 at latest The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en
-
9 Dec 2025 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental evaluation. The position is hosted
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
Stage Researcher (R1) Positions PhD Positions Country Portugal Application Deadline 16 Jan 2026 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting