-
scientific coordination for the geospatial, modelling and digital observatory components of the project (WP4). Research Focus How can verticalisation and its environmental consequences be measured, modelled
-
, memory safety, data race freedom, functional correctness) Implementing and verifying the inference coordination layer (batching, KV-cache management, scheduling) in Rocq/Lean, with extraction to executable
-
to actively shape the Hub’s development through course delivery and the design and coordination of educational programs. The position includes teaching responsibility for two courses (one per semester
-
initiative. You will also have other duties such as mentoring and supervision, subproject coordination, teaching, participation to publications and outreach events Profile We are looking for outstanding