Were you ever curios why certain languages are designed the way they are? Do you want to bridge the gap between cutting-edge programming languages research and industry needs?

If you’re excited about tackling both deep research challenges and real-world software problems, this project is for you.

Job Description

Seeking a PhD student who values the strengths of formal reasoning while recognizing its current limitations—driven to explore solutions that go beyond what verification alone can achieve.

This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability. For example, how can we restore Rust’s safety guarantees when integrating it with legacy C code? More generally, how can we ensure that software components—written in different languages and by different authors, such as human developers and AI assistants—interact correctly, safely, and securely?

The project aims to create synergy between verification, analysis, and testing to repair faulty software and, in turn, enhance software trustworthiness.

Job Requirements

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.

Effective at managing time and resources.

Has an inclusive mindset and values good communication.

About the Environment

We want to create things-–and grow in ways-–that stay solid even when everything else is shifting. We value collaboration, and we also respect the need for focused, independent work. Academia gives us space to explore, but we also like teaming up with industry for fresh ideas and real-world impact. We encourage curiosity and initiative, and always prioritize kind, clear communication for we believe novelty springs from connection and an open mind.

Salary range: €3059 - €3881

Faculty: Faculty of Electrical Engineering, Mathematics & Computer Science

Department: Computer Science

For more details on this position, contact Andreea Costea

TU Delft general admission details here.