Expires on: 03/01/2024
Description
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.
Qualifications
- 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