-
, 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
-
therapeutics. Main duties and responsibilities As a postdoctoral researcher in this program, you will be expected to develop a high quality research program, in close collaboration with partners of the SATURNA
Enter an email to receive alerts for program-coordinator-"https:" positions