Summary
The University of St.Gallen (HSG) is offering a fully funded PhD position within the Institute of Computer Science, led by Prof. Salvaneschi. This opportunity allows candidates to pursue research in an open topic related to software quality and verification, coding and AI, or software security. The position offers substantial freedom to develop an individual research direction, supported by a vibrant international research environment and competitive funding.
Designation
PhD Position
Scholarship Details
| Scholarship Type | PhD Position |
|---|---|
| Institution | University of St.Gallen (HSG) |
| Department | Institute of Computer Science |
| Supervisor | Prof. Dr. Guido Salvaneschi |
| Employment Level | 100% |
| Start Date | By 01.11.2026, or upon agreement |
Research Areas
Candidates will have substantial freedom to develop an individual research direction, choosing from and combining different topics that align with the group’s broader research interests. Potential research areas 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
- CRDTs (Conflict-free Replicated Data Types)
- Software engineering
- Programming languages
- Software security
- Formal methods
- Program analysis
- Machine learning in software contexts
Location
University of St.Gallen (HSG), St.Gallen, Switzerland
Eligibility/Qualification
Applicants should meet the following criteria:
- Excellent Master’s degree in Computer Science, Software Engineering, or a closely related field.
- Strong interest in research within 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, or 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.
Scholarship Description
This PhD position offers a unique opportunity to conduct cutting-edge research in software quality, security, verification, and AI-enabled software systems. The successful candidate will work within a dynamic research group known for publishing in leading international venues and supported by major national and European funders. The role involves developing an individual PhD research topic, contributing to internationally visible research, and collaborating within a strong international academic network. The University of St.Gallen provides an inspirational work environment, support for executive education, a strong professional network, family-friendly policies including flexible work models and childcare support, equal opportunities, and initiatives for employee well-being.
How to Apply
Interested candidates are invited to submit their online application. Please ensure you state the job ID when applying.
Last Date for Apply
Applications are accepted until the position is filled.
Apply Link
