Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
-basel/2026/professorship-in-dist… Requirements Research Field Computer science Years of Research Experience More than 10 Additional Information Website for additional job details https
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
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
-
background, and an outstanding MSc degree in Engineering, Computer Science, Physics, Applied Mathematics, or a related field. You should be proficient in or willing to learn generative deep learning – in
-
Computer Science, Electrical Engineering, or related field. Strong proficiency in C/C++ and Linux Systems Programming . Experience with Embedded Linux and Kernel drivers. Bonus Skills (Nice to have
-
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