Sort by
Refine Your Search
-
Employer
-
Field
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
, 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
-
/2026 or as mutually agreed (12 hours/week) Contract duration: Fixed term, 6 months Work schedule: ideally two to three times per week. About IOB The Institute of Molecular and Clinical Ophthalmology
-
protocols. ● Support the organization of mouse colonies, experimental schedules and genotyping. ● Help establish efficient laboratory procedures and ensure that shared spaces are well organized. ● Support the
-
Research proposal with clear statement of objectives, expected outcomes, and schedule, including how your project would link to ongoing research and facilities at ITA or LUS (max. 2500 words excl. references