Sort by
Refine Your Search
-
outstanding candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and
-
software stacks . Unlike typical high-level networking roles, this project requires "bare-metal" intervention, programming the firmware and drivers that decide how and when data moves. Role & Profile
-
models of sensorimotor processing. We are recruiting two postdocs: Postdoc in Computer Vision & AI for Behavior Analysis Postdoc in Embodied AI (Reinforcement Learning for Motor Control) Main duties
-
19 Sep 2026 Job Information Organisation/Company University of Basel Research Field Biological sciences » Biology Biological sciences » Other Computer science » Other Medical sciences » Other
-
18 Sep 2026 Job Information Organisation/Company University of Basel Research Field Biological sciences » Biology Biological sciences » Other Computer science » Other Engineering » Biomedical
-
biology, physics, computer science, and engineering. For more information about the Dubochet Center please visit our website: https://dci-lausanne.ch/ . Informations Only applications submitted through
-
nearing completion of) in computer science or a closely related field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and
-
science into medical knowledge and healthcare innovations. The Pediatric Disease Modeling Lab (https://dbe.unibas.ch/en/research/data-driven-modelling-analysis/pediatric-disease-modeling-lab/) is seeking a
-
. Computer Skills Technical proficiency in use of computers, software applications such as Microsoft 365 suite of applications and web content management systems. Familiarity with student information