4 proof-checking-postdoc-computerscience PhD positions at Utrecht University in Netherlands
-
inference algorithms as well as proofs of their correctness and efficiency) and systems (e.g., high performance, functional array programming DSLs) to tackle challenging probabilistic and differentiable
-
for tomorrow’s machine learning. Your job In the ERC project FoRECAST, we aim to develop theory (e.g., new probabilistic and differential inference algorithms as well as proofs of their correctness and efficiency
-
another PhD candidate (on question modelling), a postdoc (on the GeoQA reasoning engine), and a technical assistant; evaluate the framework through user-centered scenarios in spatial planning
-
gold standard of geo-analytic purposes and questions; collaborate with a technical assistant, another PhD candidate (on geodata source modelling), and a postdoc (on the GeoQA reasoning engine). It is