Lean for AI in Physics (open PhD or Postdoc position)

Stream: job postings

[Mario Krenn]

We have numerous open and fully-funded PhD and Postdoc in our group at the University of Tübingen, on AI for scientific discoveries in Physics.

One potential topic is on Formal mathematics (using Lean’s mathlib) for Automated Discovery in Physics (e.g. discussed here).

The full call is here. The call will be open until all positions are filled.