Two (2) PhD Positions on Algorithms for Formal AI Verification and Explainability

Updated: 3 months ago
Deadline: 07 Jun 2024

1 May 2024
Job Information

Delft University of Technology (TU Delft)
Research Field

Researcher Profile

First Stage Researcher (R1)

Application Deadline

7 Jun 2024 - 21:59 (UTC)
Type of Contract

Job Status

Not Applicable
Hours Per Week

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme
Is the Job related to staff position within a Research Infrastructure?


Offer Description

You will conduct both theoretical and empirical research at the intersection of logic, optimization, machine learning, control, monitoring, interpretability, and visualization. Both PhD projects are inspired by real-world deployment of AI, with one leaning towards advancing theory and the other to be done in close collaboration with domain experts from the Netherlands Railways (NS), leading to significant scientific as well as practical impact.

You will be part of the Algorithmics Group in the Department of Software Technology of the Faculty of Electrical Engineering, Mathematics and Computer Science. You will work in a dynamic and diverse environment of other PhD and postdoc researchers excited about making theoretical and algorithmic contributions in intelligent decision making.

You will be supervised by [Dr. Anna Lukina]( ) and [Prof.Dr. Matthijs Spaan]( ) or [Prof.Dr. Mathijs de Weerdt]( ), depending on the project.

Specific Requirements

To be the successful candidate, you should:

  • have a Master’s degree in mathematics and/or computer science,
  • have firm foundations in mathematics/logic/formal methods as well as algorithm design, optimization and implementation,
  • experience in visualization/illustration/design is a plus
  • have strong programming skills,
  • be proficient in written and spoken English.

Doing a PhD at TU Delft requires English proficiency at a certain level to ensure that the candidate is able to communicate and interact well, participate in English-taught Doctoral Education courses, and write scientific articles and a final thesis. For more details please check the Graduate Schools Admission Requirements .

Additional Information

Doctoral candidates will be offered a 4-year period of employment in principle, but in the form of 2 employment contracts. An initial 1,5 year contract with an official go/no go progress assessment within 15 months. Followed by an additional contract for the remaining 2,5 years assuming everything goes well and performance requirements are met.

Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, increasing from € 2770 per month in the first year to € 3539 in the fourth year. As a PhD candidate you will be enrolled in the TU Delft Graduate School. The TU Delft Graduate School provides an inspiring research environment with an excellent team of supervisors, academic staff and a mentor. The Doctoral Education Programme is aimed at developing your transferable, discipline-related and research skills.

The TU Delft offers a customisable compensation package, discounts on health insurance, and a monthly work costs contribution. Flexible work schedules can be arranged.

For international applicants, TU Delft has the Coming to Delft Service . This service provides information for new international employees to help you prepare the relocation and to settle in the Netherlands. The Coming to Delft Service offers a Dual Career Programme for partners and they organise events to expand your (social) network.

Selection process

Are you interested in this vacancy? Please apply before June 7, 2024 via the application button and upload:

  • (pdf 1) your academic CV, including at least one contact for reference;
  • (pdf 2) a motivation letter, including explanation of your motivation for this PhD role and interest in the project (specifying which of the two);
  • (pdf 3) your Master’s thesis or a paper that you have written, in which you demonstrate your writing (and scientific) skills;
  • (pdf 4) a transcript of your grades.

A pre-employment screening can be part of the selection procedure.

You can apply online. We will not process applications sent by email and/or post.

Please do not contact us for unsolicited services.

Additional comments

For more information about this vacancy, please contact [Dr. Anna Lukina]( ).

Website for additional job details

Work Location(s)
Number of offers available
Delft University of Technology
Postal Code
2628 CD
Mekelweg 2

Where to apply



Mekelweg 2
Postal Code

2628 CD


Similar Positions