1 parallel-computing-numerical-methods "Prof" Postdoctoral positions at Idiap Research Institute in Switzerland

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | 7 days ago

, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python