Sort by
Refine Your Search
-
, 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
-
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
-
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
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning
-
Positions Application Deadline 15 Oct 2026 - 15:55 (Africa/Abidjan) Country Switzerland Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
well as an engaging program of cultural, sports and community activities throughout the year. Read about our employment conditions and employee benefits If you are interested Submit your application containing CV
-
that drastically reduces power and latency. We are looking for a Postdoctoral Researcher/Research Engineer with a background in Embedded Systems and Low-Level Programming to design the control logic that powers
-
proficiency in one or more programming or scientific computing environments, such as Python, R, or MATLAB; A strong publication record appropriate to the candidate’s career stage; The ability to work both
-
our expanding in vivo and ex vivo neuroscience program, we are seeking a motivated and experienced technician to assist with mouse work, surgical procedures, and primary neuron culture. Main duties and