PhD Position Validating Automatically Generated Code

1 week geleden


Delft, Zuid-Holland, Nederland TU Delft Voltijd
Job Description

AI-powered coding tools are transforming software development by leveraging machine learning models trained on vast collections of open-source code, enabling developers to easily access programming knowledge amassed by these models.

While AI models like Copilot based on Codex can generate code, studies show they may produce code snippets with minor bugs that are tricky to fix manually. Additionally, these models might yield varied and unexpected results when presented with semantically equivalent but differently phrased requests.

All these aspects raise a crucial question that must be addressed for AI tools to be truly effective: How do we validate the generated code?

The primary focus of this PhD position is to tackle this question.

Note: This PhD role is part of the AI for Software Engineering lab (AI4SE), a collaboration between JetBrains and Delft University of Technology. Hence, the potential PhD candidate will closely collaborate with researchers and developers from JetBrains. More details are available on the specific page.

Requirements

Core Requirements:

  • A Master's Degree (or equivalent) in Computer Science, with a specialization in Software Engineering, Software Testing, Machine Learning, or similar fields.
  • Proficiency in JVM-based languages like Java, Kotlin, or Scala, preferably with contributions to open-source projects.
  • Strong communication skills in English, both written and verbal.
  • A team-oriented mindset, capable of working in international partnerships with researchers and developers.
  • An independent, proactive approach combined with practical creativity.

Desirable Skills:

  • Understanding of Large Language Models in Software Engineering or practical experience with their utilization.
  • Experience with static and dynamic program analysis methods, such as type systems or symbolic execution.
  • Willingness to lead projects.
  • Inclination to mentor and guide junior colleagues.

Pursuing a PhD at TU Delft necessitates a certain level of English proficiency to ensure effective communication, participation in English-taught Doctoral Education courses, and the ability to write scientific papers and a final thesis. For further information, please refer to the specified resource.

Conditions of Employment

Successful candidates will receive a 4-year employment offer, structured as 2 consecutive contracts. An initial 1.5-year contract will include an official progress evaluation within 15 months, followed by a subsequent contract for the remaining 2.5 years, subject to meeting performance standards.

Remuneration and benefits comply with the Collective Labour Agreement for Dutch Universities, starting at € 2770 per month in the first year and increasing to € 3539 in the fourth year. As a PhD candidate, you will be enrolled in the TU Delft Graduate School, offering a nurturing research environment with excellent supervision, academic support, and mentorship. The Doctoral Education Programme aims to enhance your transferable skills, disciplinary expertise, and research capabilities.

TU Delft provides a customizable compensation package, along with health insurance discounts and a monthly work costs contribution. Flexible work arrangements are possible.

For international applicants, TU Delft offers comprehensive support through the specified service, facilitating relocation and integration into the Netherlands. The Coming to Delft Service extends assistance to partners and organizes networking events.

TU Delft (Delft University of Technology)

Delft University of Technology is renowned for its contributions to Dutch waterworks and advancements in biotechnology. As a leading global university integrating science, engineering, and design, TU Delft excels in education, research, and innovation to address challenges in energy, climate, mobility, health, and digital society. Our engineers have a legacy of entrepreneurial problem-solving in both commercial and societal contexts.

At TU Delft, diversity is embraced as a core value, fostering an inclusive university environment that promotes innovation and vibrancy. We believe that diverse perspectives enrich our work, creating a more dynamic TU Delft community and contributing to positive global impacts through technology. We encourage you to apply, as your application will be given equitable consideration.

Challenge. Change. Impact.

Faculty Electrical Engineering, Mathematics and Computer Science

The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) unites three scientific disciplines to drive technological advancements in daily life applications. From sustainable electricity grids to cutting-edge chips and sensors, to software technologies including AI, our faculty is at the forefront of innovation. Our research spans diverse areas such as applied mathematics for disease mapping and simulation of natural events. With over 1000 employees and 4,000 students, our dynamic environment fosters groundbreaking research and provides state-of-the-art facilities and labs.

Explore more about the Faculty of Electrical Engineering, Mathematics and Computer Science on the official website.



  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Make the code generated by AI more robust: Exploring the techniques for validating the automatically generated code. Job descriptionAI-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 open-source code and allow developers to easily (re)use the...


  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Make the code generated by AI more robust: Exploring the techniques for validating the automatically generated code. Job descriptionAI-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 open-source code and allow developers to easily (re)use the...

  • PhD Position Distributed

    2 maanden geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionWe seek a motivated PhD student to work on a 4-year NWO funded project called DARE (Distributed and Adaptive Radar for Enhanced Sensing and Classification).The goal of this project is to work towards transitioning radar from a conventional stand-alone sensor to an intelligent and spatially distributed network of cooperative nodes. The...

  • PhD Position Distributed

    2 maanden geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionWe seek a motivated PhD student to work on a 4-year NWO funded project called DARE (Distributed and Adaptive Radar for Enhanced Sensing and Classification).The goal of this project is to work towards transitioning radar from a conventional stand-alone sensor to an intelligent and spatially distributed network of cooperative nodes. The...

  • PhD Position Distributed

    3 weken geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionWe seek a motivated PhD student to work on a 4-year NWO funded project called DARE (Distributed and Adaptive Radar for Enhanced Sensing and Classification).The goal of this project is to work towards transitioning radar from a conventional stand-alone sensor to an intelligent and spatially distributed network of cooperative nodes. The...

  • PhD Position Distributed

    1 week geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionWe seek a motivated PhD student to work on a 4-year NWO funded project called DARE (Distributed and Adaptive Radar for Enhanced Sensing and Classification).The goal of this project is to work towards transitioning radar from a conventional stand-alone sensor to an intelligent and spatially distributed network of cooperative nodes. The...

  • PhD Position Distributed

    3 weken geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionWe seek a motivated PhD student to work on a 4-year NWO funded project called DARE (Distributed and Adaptive Radar for Enhanced Sensing and Classification).The goal of this project is to work towards transitioning radar from a conventional stand-alone sensor to an intelligent and spatially distributed network of cooperative nodes. The...


  • Delft, Zuid-Holland, Nederland TU Delft Voltijd

    PhD Position Particle Free Contactless Wafer Handling-Job descriptionThe 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, Zuid-Holland, Nederland TU Delft Voltijd

    Job DescriptionEpidemic processes are widely observed in various areas ranging from biological and computer network viruses to the spread of news and emotions in social networks. As a PhD student at TU Delft, you will conduct research focusing on non-Markovian models in Network Science to predict and prevent spread in networks.Your research may include data...

  • PhD position

    4 weken geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    BackgroundCellular Agriculture (CA) is a new concept in biotechnology that aims to produce animal protein through bioprocessing. This includes the production of muscle cells and tissue from animal stem cells (rather than from whole animals), as well as the use of precision fermentation for microbial production of animal protein, such as dairy alternatives....

  • PhD position

    1 week geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    BackgroundCellular Agriculture (CA) is a new concept in biotechnology that aims to produce animal protein through bioprocessing. This includes the production of muscle cells and tissue from animal stem cells (rather than from whole animals), as well as the use of precision fermentation for microbial production of animal protein, such as dairy alternatives....

  • PhD position

    3 weken geleden


    Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    BackgroundCellular Agriculture (CA) is a new concept in biotechnology that aims to produce animal protein through bioprocessing. This includes the production of muscle cells and tissue from animal stem cells (rather than from whole animals), as well as the use of precision fermentation for microbial production of animal protein, such as dairy alternatives....


  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionThe 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 found everywhere in this industry.Every mechanical...


  • Delft, Zuid-Holland, Nederland TU Delft Voltijd

    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 found everywhere in this industry. Every mechanical...


  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionThe 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 found everywhere in this industry.Every mechanical...


  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionThe 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 found everywhere in this industry.Every mechanical...


  • Delft, Zuid-Holland, 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 learningJob descriptionThe project is part of the Crop-XR program, a highly collaborative 10-year national initiative of universities...

  • PhD position

    1 week geleden


    Delft, Zuid-Holland, Nederland TU Delft Voltijd

    Job description The open PhD position will fit within this larger team of 5-8 PhD and postdocs, while working on an independent research project embedded with the ERC Starting Grant title RECALLCO2. Here the candidate will seek to develop an entirely new set of electrodes that unify the two fields of molecular catalysts and metallic electrodes to perform...


  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionThe vision of a Quantum Internet is to provide fundamentally new internet technology by enabling quantum communication between any two points on earth. Such a Quantum Internet will – in synergy with the 'classical' Internet that we have today - connect quantum processors in order to achieve unparalleled capabilities that are provably...


  • Delft, Zuid-Holland, Nederland Delft University of Technology Voltijd

    Job descriptionThe vision of a Quantum Internet is to provide fundamentally new internet technology by enabling quantum communication between any two points on earth. Such a Quantum Internet will – in synergy with the 'classical' Internet that we have today - connect quantum processors in order to achieve unparalleled capabilities that are provably...