-
algorithms in extremely complex and enormously large spaces motivated by physics and chemistry Developing interpretable AI for scientific discovery in physics (example here ) Formal mathematics (using Lean’s
-
C5 “Multiple Common Grounds - Linguistic Mechanisms for Literary Meaning” of CRC 1718 (principle investigators: Matthias Bauer, Sigrid Beck, Angelika Zirker). The project investigates the pragmatic
Enter an email to receive alerts for algorithm-"Multiple"-"U.S"-"Prof" positions