-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
computational modeling, mathematical modeling, or experimental psychology. Profile We thrive on interdisciplinary collaboration. You should hold a PhD in musicology, computer science, cognitive science
-
, computer science, applied mathematics, statistics, physics, engineering, or a closely related field, completed or near completion. Demonstrated expertise in generative AI, such as diffusion models, flow matching
-
collaboration with experimental labs Profile Common requirements: PhD (completed or close to completion) in computer science, applied mathematics, computational neuroscience, robotics, physics or a closely