Two (2) Phd Positions On Algorithms for Formal Ai

6 maanden geleden


Delft, Nederland TU Delft Voltijd

Two (2) PhD Positions on Algorithms for Formal AI Verification and Explainability-
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.

**Requirements**:

- 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.

Conditions of employment

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.

TU Delft (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.

Challenge. Change. Impact

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.

Additional information

Application procedure
- (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.

Please do not contact us for unsolicited services.
- FACULTY/DEPARTMENT***

**Faculty of Electrical Engineering, Mathematics & Computer Science**:

- JOB TYPE***

**PhD**:

- SCIENTIFIC FIELD***

**Engineering**:

- HOURS PER WEEK***

**36-40**:

- SALARY***

**€ 2.770,00 - € 3.539,00**:

- DESIRED LEVEL OF EDUCATION***

**University graduate**:

- VACANCY NUMBER***

**TUD05065**:



  • Delft, Nederland TU Delft Voltijd

    Two (2) PhD Positions on Algorithms for Formal AI Verification and Explainability- Teaser 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...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position AI/ML Algorithms for Next Generation Transportation Systems**: **_Are you curious how AI and ML can revolutionize the design of next-generation transportation systems?_**: **Job description** Do you aspire to conduct groundbreaking AI/ML research while collaborating closely with Amazon Science Teams? Join us and make a real-world...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Safe Learning for Interconnected Systems- Job description The successful applicants will work on algorithms and techniques to make Safe Learning (SL) for Large Interconnected Systems a reality. This is a unique opportunity to develop and test new AI techniques for complex interconnected systems, such as those in future (6G and beyond)...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position on Human Autonomy for AI Safety**: **_To automate or not to automate crisis decisions?_** In human-AI-teams, often, the distinction between tasks to be automated (or not) are made via simplified guidelines (‘humans are better at’ / ‘machines are better at’), yet not taking into account team dynamics and trust. A hallmark of control...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Embedded AI for 6G Networks- Join the Dutch 6G flagship project to help shape the future of communications! Job description 6G networks will utilise frequencies from sub 6 GHz to mmWave and THz bands, thereby substantially increasing the number as well as the heterogeneity of the required base stations. This complexity is further exacerbated...


  • Delft, Nederland TU Delft Voltijd

    PhD position Trustworthiness of Auto-Generated Systems- Job description We are seeking a motivated PhD student to work on the challenge of ensuring trustworthiness for auto-generated software. The increasing reliance on third-party software, including the use of AI agents for code, significantly enhances the efficiency of software development. However,...

  • Phd Position

    3 maanden geleden


    Delft, Nederland TU Delft Voltijd

    PhD position - AI DeMoS Lab- Improve our practice of democracy in the age of AI Develop AI systems for a meaningful democratic engagement. Job description TU Delft is a top tier university and is exceedingly active in the field of Artificial intelligence. AI DeMoS Lab is one of the Delft AI labs, which focuses on developing AI for democracy. The lab aims...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Value-Based Assessment Methods for AI Systems- **Challenge**: Developing and operationalizing value-based assessment methods for AI systems. **Change**: Driving validation of AI systems to ensure that only trustworthy models are used. **Impact**: Enhancing police trustworthiness through AI alignment at the Dutch National Police. Job...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Effective Metadata Management for Data-Driven Plant Resilience Enhancement- **_Join us in advancing the frontier of plant sciences and making a tangible impact on agricultural resilience through the power of machine learning!_** Job description This exciting opportunity will involve analyzing the research gaps for establishing effective...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position Value-Based Assessment Methods for AI Systems**: **Challenge**: Developing and operationalizing value-based assessment methods for AI systems. **Change**: Driving validation of AI systems to ensure that only trustworthy models are used. **Impact**: Enhancing police trustworthiness through AI alignment at the Dutch National Police. **Job...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position Artificial Intelligence for State Evaluation of Socio-Physical Systems**: **Job description**: Our society relies on well-functioning infrastructure systems, such as transportation, water and energy supply, and telecommunication networks. These systems are highly interdependent, and poor performance or malfunction of one or several of them can...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position on Uncertainty in Multi-Fidelity Digital Twins for Infrastructure Management**: **Job description**: Despite significant progress in digitalizing the built environment—such as bridges, cities, and other infrastructures—there are critical factors that may limit the benefits of deploying digital twins. Digital twins require comprehensive and...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Scalable Graph Learning- Job description A key objective of this project is to identify the trade-offs between combinatorial and neural-network-based approaches in the Graph ML space. We aim to combine and unify combinatorial algorithms and GNNs based on linear-algebra-based primitives, and achieve more efficient and scalable solutions. Our...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Human-Centred AI for Crisis Management- **_Design human-centred AI for effective information sharing in crisis management_** Job description **Requirements**: You are a highly motivated and enthusiastic researcher with the ambition to conduct high-quality interdisciplinary research that pushes the boundaries of human-centred AI research in...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Robust ML-Driven mmWave Communication and Sensing in Smart Environments- Job description Are you interested in pushing the boundaries of 6G wireless communication and sensing in one of the top engineering schools in Europe? As a part of an international team, you'll investigate new solutions for 6G systems. You'll have the chance to work across...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Physics-Aware Foundation Models for Climate Research- Job description This PhD project will address the following fundamental challenges on how to achieve this for practical large-scale systems.: - Developing a large-scale physically consistent FM: You will integrate atmosphere, surface, and subsurface earth observations to develop FMs for...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Data-Efficient Machine Learning for Context-Sensitive Affective Computing- **_Challenge: Explore context-sensitivity of affect detection and data-efficient algorithms addresssing it._** **_ Impact: Increased performance and robustness in real-world settings (e.g. healthcare)._** Job description We seek a PhD student interested in working with...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Explainable Reinforcement Learning for Maintenance Planning under Uncertainty- Improve safety in aviation by developing explainable AI systems that optimize maintenance planning under uncertainty. Job description The goal of this PhD is to harness the power of Reinforcement Learning (RL) to enhance air transport planning under uncertainty. It...

  • Phd Position

    6 dagen geleden


    Delft, Nederland TU Delft Voltijd

    **PhD Position - Artificial Intelligence for Reuse in the Built Environment**: **Take on the challenge of AI-driven design innovation by developing advanced computational methods to integrate reclaimed structural components into sustainable building solutions.** **Job description** The waste from building demolition presents a significant societal, economic...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Signal Processing for Low-power Digital Radars- **_Challenge: Design waveforms and develop receiver algorithms for low-power radars._** **_ Impact: Enhance detection performance of low-power automotive radars._** Job description Currently, automotive radars use fully digital receiver architectures with up to 16 antennas. While increasing the...