PhD – Formal Verification with Intelligent Agents – Luxembourg

The Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine.

They are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State-based and machine-based formal methods are the primary areas of interest for producing formal specifications of the software system to be verified. To enhance the capabilities of these formal methods, the candidate will explore how AI agents can assist not only in auto-formalisation (such as automatically translating natural language into formal specifications) but also in discharging verification conditions including premise selection and proof generation. The successful candidate will be employed at the Department of Computer Science of the University of Luxembourg (UL). The person will be jointly supervised by Prof. Dr. Jun Pang and Dr. Alfredo Capozucca.

Responsibilities:

• Conduct research in the field of formal verification with AI agents
• Write a doctoral dissertation in computer science
• Presentation of research findings at workshops and conferences
• Publication of scientific papers in peer-reviewed conference proceedings and journals
• Moderate participation in teaching activities

Requirements

• Master’s degree in computer science or a related field
• A background in formal specification and verification
• Strong background in programming
• A pro-active approach to achieving research excellence
• Commitment, team working and a critical mind
• Fluent written and verbal communication skills in English

They are seeking a candidate with a strong interest or background in one or more of the following areas:

• Formal specification and verification
• Theorem proving, familiar with proof assistants
• Machine learning and LLMs

Benefits

The yearly gross salary for every PhD at the UL is EUR 40952 (full time).

They also offer:

• Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the “University of the Greater Region” (UniGR)
• A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure
• A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs …

Organization/Company – University of Luxembourg

Research field – Educational sciences » Education

Research profile – First Stage Researcher (R1)

Country – Luxembourg

Application Deadline – 8 April 2026 – 08:28 (UTC)

More information: Euraxess