1 mechanical-engineering-phd-"https:" Postdoctoral positions at Idiap Research Institute

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | 14 days 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