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@fau.de ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27