PhD: Software Quality, Verification & AI-driven Systems

University of St.Gallen; Lavamünd; Vor Ort; EUR 20.000 - 27.000; Vollzeit

Zusammenfassung

University of St.Gallen in Switzerland offers a PhD position to develop an individual research topic within software engineering, security, verification, and AI. The exact direction will be defined with the candidate based on interests and ongoing activities of the research group.

The group provides a vibrant research environment in software quality, security, verification, and AI-enabled software systems, with opportunities to publish in leading venues and collaborate within an international

Qualifikationen

• Excellent Master's degree in Computer Science, Software Engineering, or a closely related field.
• Strong interest in research in software engineering, programming languages, software security, formal methods, software verification, distributed systems, or AI.
• Strong programming and software development skills; willingness to implement and evaluate research prototypes.

Aufgaben

• Develop an individual PhD research topic by selecting and 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 and software development, software testing, local-first software, distributed systems, and CRDTs.
• Define the precise research direction together with the candidate based on interests and ongoing activities.

Kenntnisse

Strong programming skills

Analytical & problem solving

English proficiency

Independent researcher

Ausbildung

Master's degree in Computer Science/Software Engineering

Jobbeschreibung

University of St.Gallen in Switzerland offers a PhD position to develop an individual research topic within software engineering, security, verification, and AI. The exact direction will be defined with the candidate based on interests and ongoing activities of the research group.

The group provides a vibrant research environment in software quality, security, verification, and AI-enabled software systems, with opportunities to publish in leading venues and collaborate within an international