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 the broader research activities. The position offers the opportunity to contribute to internationally visible research and to collaborate within a strong international academic network.
Tasks
- 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.
- 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.
- Define the precise research direction together with the supervisor based on your interests and background and on the ongoing research activities of the research environment.
Requirements
- 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.
Benefits
- Inspirational work environment.
- Executive education opportunities, including internal seminars, e-learning, coaching, and collegial advice.
- Support for task-specific external training and executive education, both financially and with regard to time required.
- Modern IT infrastructure and nationwide access to scientific information via the library.
- Culture of cross-functional collaboration and opportunities to build valuable relationships, including with external partners.
- Regular exchanges and internal events to strengthen relationships.
- Flexible work time models with a variable number of hours per week.
- Part-time positions, 16 weeks of maternity leave, subsidised crèche, and support with childcare during vacations.
- Equal opportunities for all employees and students.
- Diverse range of mostly free sports activities, campaign weeks for corporate health management, and fruit in the workplace.
- Canteen with a wide selection of freshly prepared meals at discounted prices.
Bist du Teil dieses Unternehmens?
Dieses Unternehmensprofil wurde automatisch erstellt. Wenn du für Universität St. Gallen arbeitest, kannst du das Profil jetzt beanspruchen und verifizieren – kostenlos und in wenigen Minuten.
Über uns
Das Team
The lab is headed by Prof. Salvaneschi at the University of St.Gallen (HSG) and is part of the Institute of Computer Science. The group is supported by competitive funding from major national and European funders, including the Swiss National Science Foundation (SNSF) and Horizon Europe, and publishes in leading international venues across several fields.