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

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

Published Deadline Location
29 Aug 26 Sep Delft

You cannot apply for this job anymore (deadline was 26 Sep 2024).

Browse the current job offers or choose an item in the top navigation above.

Do you want to make an impact in algorithms that formally guarantee reliability of AI in deployment? When deploying AI, the real world is often different from simulations. To make AI more rigorous, we are looking for two PhD researchers to work on novel methods for verifying when AI adaptation is necessary, and for resolving violations in a human-interpretable way.

Job 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](https://annalukina.com/) and [Prof.Dr. Matthijs Spaan]( https://www.st.ewi.tudelft.nl/mtjspaan/)  or [Prof.Dr. Mathijs de Weerdt](http://www.alg.ewi.tudelft.nl/weerdt/), depending on the project.

Specifications

Delft University of Technology (TU Delft)

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.

Conditions of employment

Fixed-term contract: 4 years.

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 € 2872 per month in the first year to € 3670 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.

Employer

Delft University of Technology

Delft University of Technology is built on strong foundations. As creators of the world-famous Dutch waterworks and pioneers in biotech, TU Delft is a top international university combining science, engineering and design. It delivers world class results in education, research and innovation to address challenges in the areas of energy, climate, mobility, health and digital society. For generations, our engineers have proven to be entrepreneurial problem-solvers, both in business and in a social context.

At TU Delft we embrace diversity as one of our core values and we actively engage to be a university where you feel at home and can flourish. We value different perspectives and qualities. We believe this makes our work more innovative, the TU Delft community more vibrant and the world more just. Together, we imagine, invent and create solutions using technology to have a positive impact on a global scale. That is why we invite you to apply. Your application will receive fair consideration.

Challenge. Change. Impact!

Department

Faculty Electrical Engineering, Mathematics and Computer Science

The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three scientific disciplines. Combined, they reinforce each other and are the driving force behind the technology we all use in our daily lives. Technology such as the electricity grid, which our faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations for the software technologies to run on this new generation of equipment – which of course includes AI. Meanwhile we are pushing the limits of applied mathematics, for example mapping out disease processes using single cell data, and using mathematics to simulate gigantic ash plumes after a volcanic eruption. In other words: there is plenty of room at the faculty for ground-breaking research. We educate innovative engineers and have excellent labs and facilities that underline our strong international position. In total, more than 1000 employees and 4,000 students work and study in this innovative environment.

Click here to go to the website of the Faculty of Electrical Engineering, Mathematics and Computer Science.

Specifications

  • PhD
  • Engineering
  • 36—40 hours per week
  • University graduate
  • TUD05065

Employer

Delft University of Technology (TU Delft)

Learn more about this employer

Location

Mekelweg 2, 2628 CD, Delft

View on Google Maps

Interesting for you