Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
formal verification with Lean You have experience AI-assisted theorem proving or algorithm discovery is an asset You have working knowledge of numerical analysis, ideally numerical methods for PDEs You
-
18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Operational Director - Integrated Computing Platform (ICP) About the new Integrated
-
Mission We are seeking a candidate with experience in numerical modeling of nanostructured materials to join our SNSF project “Coupled oscillations in plasmonic crystals”. In this project, we focus
-
reinforced concrete and unreinforced masonry buildings. Our approaches include numerical and mechanical modeling, large-scale testing as well as data-driven methods. The PhD candidates will contribute to
-
tailor their work toward one or more of these focus areas, depending on their expertise and interest. They will also support parallel developments led by PhD students, ensuring coherence in the beam
-
-dependent constitutive models for crack interface mechanics (aggregate interlock) - Large-scale testing of reinforced concrete elements (panels, beams, walls) - Development of analytical and numerical
-
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
-
: Developing analytical and numerical models for flexure-based mechanisms; Designing innovative precision-engineering solutions; Conducting experimental validation and performance testing; Publishing research
-
high-performance computing ML inference or serving systems (vLLM, SGLang, PyTorch internals, or similar) Interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar) or other formal methods
-
scientific excellence in the areas of vector query processing, serverless/just-in-time query execution, parallel and distributed data management, and data management systems on emerging hardware Passionate