-
Differential Algorithms. This is a unique opportunity to contribute to the foundations for tomorrow’s machine learning. Your job The FoRECAST project aims to develop theory (e.g., categorical semantics and
-
PhD Position in Probabilistic and Differential Algorithm Faculty: Faculty of Science Department: Department of Information and Computing Sciences Hours per week: 36 to 40 Application deadline
-
programmes in these fields. It employs over 200 people, working in four divisions: Algorithms, AI & Data Science, Software and Interaction. The atmosphere is collegial and informal. This PhD project is
-
algorithms for AI agents to learn, apply, and generate justifications in collaborative settings. You will be co-supervised by Davide Dell’Anna (Utrecht University) and Myrthe Tielman (Delft University
-
denotational correctness proofs as well as new probabilistic and differential inference algorithms) and systems (e.g., high performance, functional array programming DSLs) to tackle challenging probabilistic and
-
denotational correctness proofs as well as new probabilistic and differential inference algorithms) and systems (e.g., high performance, functional array programming DSLs) to tackle challenging probabilistic and
-
an existing ice sheet model (UFEMISM) with a calving algorithm and calving law and applying this to the Greenland ice sheet. UFEMISM is a relatively new ice model with a growing user community aiming to be part