x

y

• Develop original research at the intersection of programming languages, software engineering, and security
• Collaborate with colleagues contributing to the research projects currently running in the team
• Publish research results in scientific conferences/journal
• Develop software prototypes to demonstrate the applicability of the achieved results

• Master in computer science or closely related field
• Ability to design and implement software systems of significant complexity
• Solid understanding of fundamental topics in computer science, such as programming languages, compilers, distributed systems, and theoretical computer science

The Programming Group at the Institute of Computer Science at the University of St.Gallen runs several projects at the intersection of programming languages, software engineering, and security. Current research topics include language design for distributed systems, verification of replicated data structures, reactive programming, infrastructure as code, DevOps Organizations, and the use of AI for software development.