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
-
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
-
, 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
-
(Temporary) PhD in systems biology, AI, ML, engineering, mathematics, biological engineering, biophysics, or related field plus two (2) years of post-degree experience designing and applying AI/ML methods
-
development and agentic systems, automated software engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal methods, and research addressing any
-
molecular systems or solids, (2) knowledge of numerical aspects of Green’s function methods, (3) familiarity with numerical techniques, and (4) experience in method development within large software packages