Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
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
-
will include: Assemble and validate modular electrocatalytic reactors and analysis methods for realistic CO2 electrocatalysis, with a focus on parallel investigations and accelerated aging. Dissect
-
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
-
: Developing analytical and numerical models for flexure-based mechanisms; Designing innovative precision-engineering solutions; Conducting experimental validation and performance testing; Publishing research
-
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
-
project's research assistant fine-tuning open-weight language models on period texts (continued pretraining with parameter-efficient methods such as LoRA) building the attribution pipeline, with token
-
methods are prohibitively slow for practical semiconductor metrology and inspection applications. Unlike most samples placed under a microscope, microchips are manufactured objects that follow strict
-
scientific computing frameworks Strong analytical thinking, problem-solving ability, and communication skills Demonstrated ability to work independently while contributing effectively to collaborative
-
for a motivated postdoctoral researcher to develop time-resolved imaging methods and apply them to semiconductor reliability problems. This is one of two postdoctoral positions opening in the group
-
-doctoral candidate with experience in numerical modelling, preparation and experimental characterization of nanostructured materials to join our SNSF project “Coupled oscillations in plasmonic