2 PhD Positions Find2Fix: Reducing Software Errors using Transparant AI

Find2Fix will engineer the first open-source tool for the entire process from software error discovery to mitigation based on modern active learning (PhD1) and synthesis (PhD2) technology.

You will research the state-of-the-art in AI and apply it to real-world software problems at our industrial partners: ASML and DCODIS (a start-up). This is technically challenging applied research with as main outcome a proof-of-concept tool that allows developers to quickly find and fix software errors including security vulnerabilities. You will innovate the Find2Fix pipeline by making the different steps, including found issues and suggested patches, easier to understand using interpretable AI using state machine models and LLM-based explanations. You will provide the community with the first tool for self-healing software that is useful for research, education, and industrial use. Your research will be published and presented at international AI, software engineering, and security venues.