Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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 outstanding
-
or education deemed equivalent; experience in the field Excellent technical knowledge of systems programming, and strong programming ability in several of: Python, C/C++, Rust, OCaml, or other functional
-
biological interfaces, such as mucosal tissues, would be considered an asset as would the use of innovative polymeric systems and bioinspired formulations. Demonstrated ability to advance knowledge in standard
-
mucosal tissues, would be considered an asset as would the use of innovative polymeric systems and bioinspired formulations. Demonstrated ability to advance knowledge in standard pharmaceutical technology
-
profile PhD degree in physics, materials science, chemistry, electrical engineering or a related discipline Knowledge of UHV and thin-film technology Prior experience in PVD and surface science Prior
-
mechanics, and concrete structures. Experience or interest in 3D concrete printing is also important. Additional skills, including experience in small and large-scale experimental investigations and knowledge
-
chemistry. Experience with regional or global modeling is desirable. Strong programming skills are necessary. Good knowledge of English (spoken and written) is essential. Employment will be according
-
through innovative biomedical research and engineering solutions, translating basic science into medical knowledge and healthcare innovations. The Pediatric Disease Modeling Lab (https://dbe.unibas.ch/en
-
meeting health care needs through innovative biomedical research and engineering solutions, translating basic science into medical knowledge and healthcare innovations. The Pediatric Disease Modeling Lab
-
, investigating efficient adaptation strategies and the use of domain-specific data and knowledge. Develop new tabular foundation-model approaches where existing pre-trained models are insufficient, with a