1 structural-engineering "https:" "https:" "https:" "https:" "https:" "UCL" "UCL" "UCL" "UCL" positions at Idiap Research Institute in Switzerland

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | about 2 hours ago

, consistent, and correct-by-construction (or corrected via proof/counterexample feedback). You will lead research and prototyping of neuro-symbolic methods that translate heterogeneous requirements (text