PhD Position, open topic - Software quality and verification, coding and AI, software security (m/w/d)

About the role

The group offers a vibrant research environment in the area of software quality, security, verification, and AI-enabled software systems. PhD candidates have substantial freedom to develop an individual research direction, choosing from and combining topics that align with our broader research activities. Current directions include, for example, software verification, e-graphs, Infrastructure as Code, AI-assisted code generation, software testing, local-first software, and CRDTs. We publish in leading international venues across several fields and we are supported by competitive funding from major national and European funders, including the Swiss National Science Foundation (SNSF) and Horizon Europe. The position offers the opportunity to contribute to internationally visible research and to collaborate within a strong international academic network.