PhD Position in Formal Methods and Machine Learning
PhD Position in Formal Methods and Machine Learning
Challenge: Reliability of systems controlled by neural networks. Change: Synergy between formal methods and machine learning. Impact: Novel formal methods for guaranteeing properties of neural-network controlled systems.
The main difference between offline verification and real-time monitoring of learned controllers, such as neural networks or deep reinforcement learning, is to identify when we can no longer guarantee verified system behavior and to repair guarantees. The challenge of this project is to develop scalab.
You will conduct both theoretical and empirical research on real-time monitoring and verification of AI under the real-world uncertainties. We envision the project to have significant scientific impact in the intersection of formal methods and machine learning.
You will be part of the Algorithmics Group in the Department of Software Technology of the Faculty of Electrical Engineering, Mathematics and Computer Science. As a PhD researcher, you will reinforce and extend the group’s expertise in the interdisciplinary field combining formal methods and machine learning. 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.
- €2541—€3247 per month
- Delft View on Google Maps
Delft University of Technology (TU Delft)
To be the successful candidate, you should
- have a Master’s degree in computer science, information/computer/software engineering, or mathematics,
- have firm foundations in formal methods and algorithm design,
- preferably have prior experience with machine learning or statistical analysis,
- have strong programming skills,
- have research mindset,
- have collaborative attitude,
- are 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
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 € 2541 per month in the first year to € 3247 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 sport memberships, 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.
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!
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.
For more information about this vacancy, please contact Dr. Anna Lukina , who will be the daily supervisor for this position.
Working at TU Delft
Join the oldest and largest technical university in the Netherlands. Work on clever solutions for worldwide challenges, to change the world and make an impact. Ready to bring your energy to our research?
Challenge, change, impact!
Apply for this job
Apply for this job
This application process is managed by the employer (Delft University of Technology (TU Delft)). Please contact the employer for questions regarding your application.Apply for this job via the employer's website
Thank you for applying
Please contact the employer for questions regarding your application.
Tip: save this job as favorite in your AcademicTransfer account. This gives you an immediate overview and makes it easy to find the job later on. No account yet? Create it now and take advantage of other useful functionalities too!
Back to the vacancy
Are you interested in this vacancy? Please apply before June 12, 2023, 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 this project;
- (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.
Ph D Position Mathematical Methods In Computer Science For Reliable Automation, Delft University of Technology, Netherlands, 2 days ago
The main difference between offline design and online deployment of automation is that the real world can exhibit changes not accounted for in a simulated environment. The challenge of this projec...
Ph D Position Accelerating Molecular Simulations With Ai For The Design Of New Pfas Absorbants, Delft University of Technology, Netherlands, about 1 hour ago
Challenge: Accelerate the discovery of novel PFAS absorbents. Change: Develop AI methods to accelerate/complement molecular simulations. Impact: Reduce the presence of harmful PFAS in water system...
Ph D Position Mathematical Methods In Computer Science For Reliable Automation, Delft University of Technology (TU Delft), Netherlands, 19 days ago
8 Sep 2023 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Technology Researcher Profile First Stage Researcher (R1) Country Netherlands Application D...
Ph D Position Power System Defense Against Cascading Failures, Delft University of Technology, Netherlands, 41 minutes ago
Increase resilience of interconnected power grids by developing self-healing capabilities for defence against cascading failures. The eFORT project, funded under Horizon Europe, is recruiting a ta...
Ph D Position Particle Free Contactless Wafer Handling, Wp1, Delft University of Technology (TU Delft), Netherlands, 8 days ago
19 Sep 2023 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Technology Researcher Profile First Stage Researcher (R1) Country Netherlands Application ...
Ph D Position Particle Free Contactless Wafer Handling, Wp1, Delft University of Technology (TU Delft), Netherlands, 6 days ago
20 Sep 2023 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Technology Researcher Profile First Stage Researcher (R1) Country Netherlands Application ...