Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
twins and engineering knowledge such as P&IDs and operating procedures. A particular emphasis lies on trustworthiness: quantifying uncertainty, verifying agent decisions before they reach the plant
-
seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek
-
techniques for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working
-
Friedrich Miescher Institute for Biomedical Research | Basel, Kanton Basel-Stadt | Switzerland | 17 days ago
17 Sep 2026 Job Information Organisation/Company Friedrich Miescher Institute for Biomedical Research Research Field Biological sciences » Biology Computer science » Other Biological sciences
-
18 Sep 2026 Job Information Organisation/Company University of Basel Research Field Biological sciences » Biology Biological sciences » Other Computer science » Other Engineering » Biomedical
-
needs through innovative biomedical research and engineering solutions, translating basic science into medical knowledge and healthcare innovations. The Pediatric Disease Modeling Lab (https
-
19 Sep 2026 Job Information Organisation/Company University of Basel Research Field Biological sciences » Biology Biological sciences » Other Computer science » Other Medical sciences » Other
-
19 Sep 2026 Job Information Organisation/Company Empa Research Field Chemistry » Other Computer science » Informatics Computer science » Other Engineering » Electrical engineering Engineering
-
18 Sep 2026 Job Information Organisation/Company Empa Research Field Computer science » Other Engineering » Electrical engineering Engineering » Mechanical engineering Engineering » Other Technology
-
, electrical or mechanical engineering, computer science or a related field, and a strong methodological background in machine learning. The ideal candidate has demonstrated research experience with