PhD in Software Quality and Verification — Research Freedom

Universität St.Gallen; Sankt Gallen; On-site; CHF 48,000 - 60,000; Full time

Job summary

The University of St.Gallen invites applications for PhD positions in softwarequality, security, verification, and AI-enabled software systems. The group offers a vibrant research environment and substantial freedom to develop an individual research direction aligned with broader activities.

Candidates will conduct research with strong international collaboration, publish in leading venues, and contribute to ongoing projects in areas like software verification, AI-assisted code generation,

Qualifications

• Master's degree in Computer Science or Software Engineering or closely related field.
• Strong interest in software engineering, security, AI, or formal methods.
• Ability to work independently and develop original research ideas.
• Excellent written and spoken English.
• Willingness to participate in an international research environment.

Responsibilities

• Develop an independent PhD research topic by selecting and, where appropriate, combining research directions in software engineering, security, verification, and AI.
• Explore topics such as software verification, e-graphs, Infrastructure as Code, AI-assisted code generation, software testing, and CRDTs.
• Define the research direction together with the candidate based on interests and ongoing activities of the research environment.

Skills

Programming and software development

English language proficiency

Analytical and problem solving

Independent research ability

Curiosity and creativity

Education

Master's degree in Computer Science or Software Engineering

Job description

The University of St.Gallen invites applications for PhD positions in softwarequality, security, verification, and AI-enabled software systems. The group offers a vibrant research environment and substantial freedom to develop an individual research direction aligned with broader activities.

Candidates will conduct research with strong international collaboration, publish in leading venues, and contribute to ongoing projects in areas like software verification, AI-assisted code generation,