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.

• 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

"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 9800 students. The HSG is one of the largest employers in the region and provides an attractive and innovative environment for more than 3300 researchers, educators and professional staff.