Mit dem Wintersemester 2026/2027 nimmt der Lehrstuhl für Grundlagen der Programmierung endlich sine volle Arbeit auf und DU kannst daran teilhaben! Wir suchen motivierte Doktoranden und Postdocs im Bereich der Programmiersprachen, formalen Methoden oder verwandten Themen. Für mehr Informationen,…
[weiterlesen]
