Universität St. Gallen vacancy search engine

PhD student in robust software programming (m/w/d)


Details des Angebots

Allgemeine Informationen

Kennziffer

2023-1137  

Zitat vorgesetzte Person

x

Name vorgesetzte Person

Guido Salvaenschi

Zitat zweite Person (Personalbeauftragte:r)

y

Name zweite Person

Florence Hafner

Beschreibung der Stelle

Titel des Stelleninserats

PhD student in robust software programming (m/w/d)

Kern- und Hauptaufgaben

  • 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

Erwartete Kompetenzen / Profil

  • 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

Vorstellung der Organisationseinheit (im Inserat)

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.

Beschäftigungsgrad in % (als ganze Zahl angeben)

70

Gewünschtes Eintrittstermin

01.01.2024

Einsatzdauer

befristet

Befristet bis

31.12.2027

Betreut durch

Hauptansprechperson

Guido Salvaneschi