-
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
-
data modalities. AI for scientific discovery: methodological advances with potential applications across biomedical and scientific domains. We are looking for candidates with A PhD in machine learning
-
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