Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
? 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
-
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
-
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
-
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
-
(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
-
Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring
-
world. We look forward to receiving your application! Your work assignments We are looking for a PhD student to work on the development of novel spatio-temporal machine learning methods. Our world is
-
application! Your work assignments We are looking for a PhD student to work on the development of novel spatio-temporal machine learning methods. Our world is inherently spatio-temporal, i.e. physical processes
-
, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness, e.g. building