[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Theoretical Computer Science group at FAU Erlangen-Nürnberg has an
opening for a PhD position within the new German-French DFG-ANR project
*** Advancing the Theory of Quantitative Universal Algebra ***
The principal investigators are Stefan Milius and Henning Urbat on the
German side and Matteo Mio (CNRS & ENS Lyon) on the French side. The aim
of the project is to advance the theory and applications of quantitative
universal algebra towards a comprehensive body of results,
constructions, and tools for the mechanizable deductive and algorithmic
treatment of specifications with quantitative aspects.
The position is at salary level 13 TV-L (full time) for a period of
three years commencing in April or May this year.
Complete application documents should be submitted to us by email until
*** February 6, 2026 ***
--
Dr. Henning Urbat
Chair of Computer Science 8 (Theoretical Computer Science)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Mail: [email protected]
