-
mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration
-
models of quantum programming languages. The ideal candidate holds (or is expected to soon hold) a PhD degree in computer science, mathematics, physics, or a more specialised degree in quantum computing
-
date is 1 Januar 2026, with room for flexibility in both directions. We are seeking a highly motivated individual with a PhD in computer science, computational chemistry / biochemistry, applied
-
Postdoc position in Computer Science with a focus on visual data science. An ideal candidate has a solid education in computer science, data science or applied mathematics as well as demonstrated research
-
characteristics: PhD (completed or soon to complete) in Software Engineering, Computer Science, Artificial Intelligence, or a closely related field. Strong software development and programming skills, with