3 model-checking Postdoctoral research jobs in Switzerland

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | 3 months ago

, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency

Postdoc in Machine Learned Semiconductor Material Properties for Quantum Transport Simulations

ETH Zürich | Switzerland | 3 months ago

collaborate with the QuaTrEx developers. Job description As part of the MALOQ project, you will train state-of-the-art ML models to learn atomic, electronic, and vibrational properties of large-scale atomic

Postdoctoral Researcher in Marketing (Two Project Options) - 80% employment grade

University of Basel | Switzerland | 3 months ago

: Project A – Synthetic Data for Theory-Driven Behavioral Research This project investigates how large language models (LLMs) produce synthetic responses to psychological experiments and how these compare