Hier geht's zur Stellenausschreibung:

->>> https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20210810_115132

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory