Phd Position Trustworthiness of Auto-generated

4 maanden geleden


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, this also introduces substantial trust issues concerning the safety, security, and correctness of the final product.

The goal of this PhD project is to design language-agnostic abstractions and technologies that enable the safe and secure integration of third-party code into existing projects.

This project bridges the software engineering requirements with the formal methods guarantees. The prospective PhD student will be using their deep understanding of programming languages, formal specifications, and program analysis to, first, formalize the challenges arising from integrating code into evolving software, and, second, to design and implement solutions to address these challenges.

**Requirements**:

- A Master’s degree in computer science.
- Knowledge and interest in programming languages and formal methods.
- Strong software engineering skills.
- Curiosity and agility to understand and navigate new technologies when applicable.
- Has an inclusive mindset and values good communication.

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

For more information about this vacancy, please contact Jesper Cockx

Application procedure
- A motivation letter (max 1 page).
- A CV.
- Contact Information for two references.
- English proficiency certificate
- (Optional) Links to published works.

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

**see vacancy text**:

- DESIRED LEVEL OF EDUCATION***

**University graduate**:

- VACANCY NUMBER***

**TUD05685**:



  • Delft, Nederland TU Delft Voltijd

    PhD Position Validating Automatically Generated Code- - Make the code generated by AI more robust: Exploring the techniques for validating the automatically generated code._ Job description AI-powered coding tools are set to revolutionize how we develop software. These AI tools are based on machine learning (ML) models trained on massive collections of...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Particle Free Contactless Wafer Handling- Job description The fast and accurate handling, transportation, and positioning of thin, sensitive substrates, such as Si-wafers, solar cells, and flat panel display glass panels are all core operations in production and manufacturing systems in high-tech industry, and substrate handling systems can be...


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

  • Phd Position

    4 weken 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 Data-Driven Understanding of World Heritage Cities**: **_Interested in transforming contaminated plastic waste into upcycled architectural components? Join our research team!_** **Job description** The cultural significance of UNESCO World Heritage is conventionally only defined by the experts and decision-makers. In the past decade,...


  • 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 Technology for Electrochemical Membrane Processes**: - How to make conversion of CO2 into sustainable chemicals a reality?The energy transition impacts all energy- Faculteit/Servicecenter: - Salaris range: €2872 - €3670- Uren per week: 32-40- FTE: 0,8-1,0- Solliciteren kan tot en met: 4 Jan 2025- ID vacature: 1304


  • 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 24/7 Dynamic Comfort**: **_Passionate about shaping climate-responsive and climate-inclusive design? Join TU Delft to revolutionise thermal comfort research in buildings and neighbourhoods._** **Job description** Delft University of Technology, Faculty of Architecture and the Built Environment, is offering a PhD position within the ‘**24/7...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Aerodynamics and Aeroelasticity of Extra-Large Wind Turbines- Job description The energy transition necessitates a substantial expansion of wind energy, requiring a six-fold increase in the current installed wind energy capacity. Increased turbine sizes with larger rotor diameters that capture more wind power are an important cost reduction...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position Data-Driven Monitoring and Control Using Off-Gas Spectroscopy in Bioprocesses**: **Job description**: Collaboration Team PhD project The PhD position in this vacancy will focus on the development, implementation, and validation of quantiative and fingerprint-based data-driven models using (near) real-time novel spectroscopic off-gas data....


  • Delft, Nederland TU Delft Voltijd

    PhD Position Turbulent Distortion Study for Interaction Noise Prediction- **_ERC Consolidator MORASINA_** Job description Turbulence distortion analysis of a rotor interacting with lifting surface **Requirements**: - good analytical skills and a strong interest in performing experiments is required. - a solid knowledge of signal processing and...


  • 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 New Luminescent Materials for Sustainable Energy Technology: Towards Electricity Generating Windows- **_Would you enjoy becoming an expert in the fundamental physics processes of luminescence materials and enable electricity generating windows? Contact us today!_** Job description You will combine your creativity with analytical In this PhD...


  • Delft, Nederland TU Delft Voltijd

    **PhD Position AEM Water Electrolysis**: **_How to develop technologies for affordable green hydrogen?_** **Job description**: Green hydrogen, produced via water electrolysis using renewable electricity, is one of the cleanest fuels and chemicals. The ambitions for producing green hydrogen are huge; EU wants to use 20 million tonnes of green hydrogen in...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Predictive Aircraft Maintenance- **_Challenge: Predict the minimum failure time of aircraft components_** **_ Change: Use both classical data science methods and machine learning_** **_ Impact: Safe and more efficient aircraft maintenance_** Job description Imagine you are going on holidays: You take the train to the airport and enjoy a...

  • Phd Position

    4 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 Modeling and Monitoring of Fiber-reinforced Composite Ships Under Extreme Loads- **_This PhD position deals with development of innovative modeling and monitoring methods for ship structures made of fiber-reinforced composites under extreme loads._** Job description Fiber-reinforced composite (FRC) structural members offer significant...


  • Delft, Nederland TU Delft Voltijd

    PhD Position Characterization of Innovative Pavement Materials- **_Develop the fundamental background knowledge needed to assess and select the materials for the sustainable roads of the future_** Job description Bitumen is a fossil material that is used to produce asphalt concrete, usually at high temperatures. In moving towards sustainable pavements,...


  • Delft, Nederland TU Delft Voltijd

    PhD position: Evaluation of managed re-alignment strategies as nature-based solution- **_The NL2120 program is a large program on the upscaling of nature based solutions. This PhD position explores succesful methods for managed re-alignment and salt-marsh restoration along coastlines_** Job description You will work in a motivated and multidisciplinary...