Two (2) Phd Positions On Algorithms for Formal Ai

4 maanden geleden


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


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


  • Delft, Nederland TU Delft Voltijd

    PhD Position on Shear Dilatancy in Concentrated Emulsions- **_PhD position on shear dilatancy in concentrated emulsions_** Job description In this PhD project, you will combine theoretical and numerical modeling to fill a persistent gap in our understanding of the mechanics of soft solids. When you twist a solid cylinder, its height spontaneously changes....


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


  • Delft, Nederland TU Delft Voltijd

    PhD Position Enhancing Plant Resilience through Biologically-Inspired Machine Learning- 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 The project is part of the Crop-XR program, a highly collaborative 10-year national initiative of...


  • Delft, Nederland TU Delft Voltijd

    PhD position: Big Data Analytics and AI in Port Performance Optimization - Infrastructure Use- Job description **Research context** Ports are vital nodes in the global logistics network, facilitating international trade and commerce. They connect nations and ensure the smooth flow of imports and exports, boosting economic development. Efficient operations...


  • Delft, Nederland TU Delft Voltijd

    **PhD Positions in Scientific Machine Learning for Extreme Fluid Dynamics**: **Job description**: Climate change and the race to decarbonize our society is making extreme events in fluids more prevalent. These are rare events where the flow suddenly takes extreme states far from its normal state. Among these, one can cite extreme atmospheric events leading...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Free-Flight Aerodynamics and Aeroelasticity- Job description 1) Develop a control system for the lateral and longitudinal stability of the drone; 3) Develop and assess a facility for the free-flight investigation of the aerodynamic and aeroelastic responses of the drone; The project will be jointly conducted within the ASM and FPT departments...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Systems Science for Sustainable Safety- Job description At the Institute for Health Systems Science (IHSS) at the faculty of Technology, Policy and Management (TPM), a PhD position will become available dedicated to responsibility in healthcare systems in relation to safe care. The IHSS is a recently established TPM initiative that has a...

  • Phd Position Immersive Lab

    3 maanden geleden


    Delft, Nederland TU Delft Voltijd

    PhD Position Immersive Lab- **_Immersive Data Visualization and Virtual Environments._** Immersive technologies, such as virtual reality (VR), augmented reality (AR), and mixed reality (MR), can transform how we perceive, interact, and communicate with the world and each other. Job description The Immersive AI Lab will be structured around several...