Publisher
source

Eindhoven University of Technology

Just Landed

PhD Position in Formal Methods and AI for Resilient Machine Learning with Formal Guarantees Eindhoven University of Technology in Netherlands

Degree Level

PhD

Field of study

Computer Science

Funding

Full funding available

Deadline

Aug 20, 2026

Country flag

Country

Netherlands

University

Eindhoven University of Technology

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Electrical Engineering
Mathematics
Artificial Intelligence
Formal Methods
Machine learning

Suggested positions

About this position

PhD opportunity at Eindhoven University of Technology (TU Eindhoven) in an interdisciplinary project on formal methods, artificial intelligence, and machine learning.

The project focuses on resilient machine learning under formal guarantees and involves collaboration with Cassio de Campos, Clemens Dubslaff, and Mykola Pechenizkiy. This is a strong fit for candidates interested in trustworthy AI, verification, and mathematically grounded approaches to machine learning.

The post is looking for a motivated and talented PhD candidate. No detailed funding, stipend, or tuition information is provided in the post.

Application deadline: 20 August.

How to apply: Use the application link in the post and submit your application before the deadline.

Funding details

Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.

How to apply

Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.

More information can be found here

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?