Postdoctoral Research Position (f/m/d) (Ref. 26/13)

Three postdoctoral openings in data-driven mathematical modelling, supervised by Clemens Heitzinger. Research covers reinforcement-learning theory and policy evaluation, differential-equation systems, reasoning and language models, and physical AI. Responsibilities include original research, algorithm development, publications, collaboration, mentoring and funding proposals. Two-year full-time appointments, 39 hours weekly, paid under TVöD Bund.

Mobile working is available. Applications remain open until the positions are filled; submit a motivation letter, CV, certificates and supporting academic documents through the employer portal.

PhD in mathematics or a related subject; relevant reinforcement learning, PDE, optimization, machine learning or numerical-analysis expertise; Julia or comparable programming, Lean 4/Mathlib or Rocq experience, and strong English communication.