Introduction:

The Programming Group at the Institute of Computer Science, University of St.Gallen, invites applications for individuals interested in contributing to cutting-edge projects at the intersection of programming languages, software engineering, and security. This dynamic research environment focuses on diverse topics, including language design for distributed systems, verification of replicated data structures, reactive programming, infrastructure as code, DevOps Organizations, and the application of AI in software development.

Qualifications

• Master’s Degree: Candidates should hold a Master’s degree in computer science or a related field, demonstrating a strong academic foundation.
• Software System Design and Implementation: The ideal candidate will showcase the ability to design and implement software systems of significant complexity, reflecting a hands-on approach to research and development.
• Solid Understanding: A solid understanding of fundamental topics in computer science is essential. This includes proficiency in programming languages, compilers, distributed systems, and theoretical computer science.

Research Environment

As a part of the Programming Group, you will engage in innovative projects that push the boundaries of knowledge in programming languages, software engineering, and security. Current research focuses on addressing real-world challenges, making an impact on diverse fields such as distributed systems, data structures verification, reactive programming, and the integration of AI into software development processes.

How to Apply

Interested candidates are encouraged to submit their application, including:

• Curriculum Vitae (CV)
• Statement of Interest: Expressing your motivation for joining the Programming Group and your specific research interests.
• Academic Transcripts: Providing evidence of your educational background.
• References: Contact details of individuals who can provide professional recommendations.

Click Here to Apply

Join us in pushing the boundaries of computer science research. Our aim is to contribute to the development of innovative solutions in programming languages, software engineering, and security.