-
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
-
Job Description The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for a postdoctoral research fellowship in models of quantum
-
science, computational chemistry / biochemistry, applied mathematics, or a related area. The ideal candidate has strong familiarity with several of the following subjects: algorithmics, mathematical modelling, graph
-
mathematics, or a related area. The ideal candidate has strong familiarity with several of the following subjects: algorithmics, mathematical modelling, graph transformation, algorithm engineering. Applications
-
group with an expertise in clinical psychology, psychiatry, mathematical modelling and statistics, led by Associate Professor Maria Semkovska in a collaboration between the Department of Psychology
-
Job Description A 2-year postdoctoral researcher position is available at the University of Southern Denmark (SDU) in the Software Engineering section of the Maersk Mc-Kinney Moller Institute (MMMI