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

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 group offers a vibrant research environment in the area of softwarequality,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.

The lab headed by Prof. Salvaneschi at the University of St.Gallen (HSG) is seeking candidates for PhD positions. In this position you will conduct research with substantial freedom to develop an individual research direction, choosing from and combining different topics in a way that aligns with the group's broader research interests. The student reponsabilities include:

• Develop an individual PhD research topic by selecting and, where appropriate, combining research directions in software engineering, security, verification, and AI.
• Possible topics include software verification, e-graphs and equality saturation, Infrastructure as Code, AI-assisted code generation and software development, software testing, local-first software, distributed systems, and CRDTs.
• The precise research direction will be defined together with the candidate based on their interests and background and on the ongoing research activities of the research environment.

Your profile

• Excellent Master's degree in Computer Science, Software Engineering, or a closely related field.
• Strong interest in research in one or more of the areas of software engineering, programming languages, software security, formal methods, software verification, distributed systems, or artificial intelligence.
• Strong programming and software development skills.Interest in both conceptual research and the implementation and experimental evaluation of research prototypes.
• Previous basic knowledge of topics such as formal methods, program analysis, software testing, security, distributed systems, machine learning.
• Ability to work independently and develop original research ideas.
• Strong analytical and problem-solving skills.
• Excellent written and spoken English.
• Curiosity, creativity, and enthusiasm for working in an international research environment.

"A place where knowledge is created" - As one of Europe's leading universities of economics and business administration, the University of St.Gallen (HSG), Switzerland, is committed to the education of over 10'000 students. The HSG is one of the largest employers in the region and provides an attractive and innovative environment for more than 3'800 researchers, educators and professional staff.