[TYPES/announce] PhD Opening in Quantitative Reasoning at FAU Erlangen-Nürnberg

[Henning Urbat]

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: henning.urbat at fau.de