Two (2) Phd Positions On Algorithms for Formal Ai
4 weken geleden
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**:
We hebben andere actuele vacatures op dit gebied die je hieronder kunt vinden
-
Delft, Nederland TU Delft VoltijdJob 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...
-
Delft, Nederland TU Delft VoltijdJob 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...
-
PhD Position Human-Centred AI for Crisis Management
4 dagen geleden
Delft, Nederland TU Delft VoltijdJob description A major challenge in crises is the combination of complexity, time pressure and moral decisions. AI has the potential to support first responders in their crowd crises decisions, yet the increasing use of AI has led to a debate about its legal and ethical implications. In this PhD project, we specifically focus on the cognitive...
-
PhD Position Embedded AI for 6G Networks
7 dagen geleden
Delft, Zuid-Holland, Nederland TU Delft VoltijdJob description Join the frontier of innovation in 6G: the future of mobile networks technology In the Netherlands, a unique alliance of 60 top-notch ICT companies, semiconductor firms, and research institutions has united to spearhead specific aspects of 6G: (1) software antennas, (2) AI-driven network software, and (3) groundbreaking 6G applications. Join...
-
Two PhD Positions on Metamaterials for Flow Control
3 weken geleden
Delft, Nederland TU Delft VoltijdJob description About the project: The MetaWing project explores a new disruptive concept for flow control, first born in classical wave physics: Metamaterials. These are engineered composite structures, invoking dispersive wave phenomena to gain exotic properties that go beyond what is considered possible in Nature. A key property is the...
-
Two PhD Positions on Metamaterials for Flow Control
3 weken geleden
Delft, Nederland TU Delft VoltijdJob description About the project: The MetaWing project explores a new disruptive concept for flow control, first born in classical wave physics: Metamaterials. These are engineered composite structures, invoking dispersive wave phenomena to gain exotic properties that go beyond what is considered possible in Nature. A key property is the...
-
PhD Position Embedded AI for 6G Networks
1 week geleden
Delft, Nederland TU Delft VoltijdJob description Join the frontier of innovation in 6G: the future of mobile networks technology! In the Netherlands, a unique alliance of 60 top-notch ICT companies, semiconductor firms, and research institutions has united to spearhead specific aspects of 6G: (1) software antennas, (2) AI-driven network software, and (3) groundbreaking 6G...
-
Two PhD Positions on Metamaterials for Flow Control
7 dagen geleden
Delft, Zuid-Holland, Nederland TU Delft VoltijdJob Title: PhD Candidates in Flow Control and Metamaterials at TU DelftAbout the project:The MetaWing project focuses on a revolutionary concept for flow control using Metamaterials. These specially engineered composite structures have unique properties due to dispersive wave phenomena, such as bandgaps, which can suppress waves in transitional...
-
Delft, Nederland TU Delft VoltijdJob description NExTWORKx*is the strategic partnership between the Telecom and ICT service provider KPN and Delft University of Technology. NExTWORKx aims to develop new concepts & technology in telecommunication and artificial intelligence, to respond to new disruptive technologies and to continue the development of talent. NExTWORKx enters its...
-
Delft, Nederland TU Delft VoltijdJob description NExTWORKx*is the strategic partnership between the Telecom and ICT service provider KPN and Delft University of Technology. NExTWORKx aims to develop new concepts & technology in telecommunication and artificial intelligence, to respond to new disruptive technologies and to continue the development of talent. NExTWORKx enters its...
-
Delft, Zuid-Holland, Nederland TU Delft VoltijdJob description NExTWORKx*is the strategic partnership between the Telecom and ICT service provider KPN and Delft University of Technology. NExTWORKx aims to develop new concepts & technology in telecommunication and artificial intelligence, to respond to new disruptive technologies and to continue the development of talent. NExTWORKx enters its second...
-
Delft, Nederland TU Delft VoltijdJob description A major challenge in crises is the combination of complexity, time pressure and moral decisions. AI has the potential to support first responders in crowd crises decisions, yet the increasing use of AI has led to a debate about the legal and ethical implications if decisions are automated and supported by AI. In this PhD project,...
-
PhD Position Value-based assessment methods for AI systems
1 maand geleden
Delft, Nederland Delft University of Technology VoltijdTeaser Challenge: Developing 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. Job description Validating models is a crucial step before decisions can be made about implementation and is important for continuous monitoring of...
-
PhD Position Value-based assessment methods for AI systems
1 maand geleden
Delft, Zuid-Holland, Nederland Delft University of Technology VoltijdTeaserChallenge: Developing 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.Job descriptionValidating models is a crucial step before decisions can be made about implementation and is important for continuous monitoring of systems...
-
PhD Position Value-based assessment methods for AI systems
3 weken geleden
Delft, Zuid-Holland, Nederland Delft University of Technology VoltijdTeaserChallenge: Developing 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.Job descriptionValidating models is a crucial step before decisions can be made about implementation and is important for continuous monitoring of systems...
-
PhD Position Value-based assessment methods for AI systems
7 dagen geleden
Delft, Zuid-Holland, Nederland TU Delft VoltijdJob description Validating models is a crucial step before decisions can be made about implementation and is important for continuous monitoring of systems in use. The challenge is, however, that validation needs to happen along a range of different values that are important for AI to possess at the police: accuracy, but also fairness, reliability,...
-
PhD Position Value-based assessment methods for AI systems
2 maanden geleden
Delft, Nederland TU Delft VoltijdJob description Validating models is a crucial step before decisions can be made about implementation and is important for continuous monitoring of systems in use. The challenge is, however, that validation needs to happen along a range of different values that are important for AI to possess at the police: accuracy, but also fairness,...
-
Phd Position Human-centred Ai for Crisis Management
7 dagen geleden
Delft, Nederland TU Delft VoltijdPhD 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...
-
PhD Position AI for Ultrasound Localization Microscopy
2 maanden geleden
Delft, Zuid-Holland, Nederland Delft University of Technology VoltijdTeaserChallenge: Developing high-speed 3D ultrasound localization microscopy (ULM)Change: Enabling high-speed 3D ULM with state-of-the-art artificial intelligence (AI) techniquesImpact: Visualizing 3D microvascular function in living organismsJob descriptionArtificial intelligence (AI) methodologies are propelling nearly all imaging applications in life...
-
PhD Position AI for Ultrasound Localization Microscopy
3 weken geleden
Delft, Zuid-Holland, Nederland Delft University of Technology VoltijdTeaserChallenge: Developing high-speed 3D ultrasound localization microscopy (ULM)Change: Enabling high-speed 3D ULM with state-of-the-art artificial intelligence (AI) techniquesImpact: Visualizing 3D microvascular function in living organismsJob descriptionArtificial intelligence (AI) methodologies are propelling nearly all imaging applications in life...
