The page you are requesting does not exist. You can start your search here!

1 engineering-computation "https:" "https:" "https:" "https:" "https:" "University of Warwick" positions at Idiap Research Institute in Switzerland

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for engineering-computation "https:" "https:" "https:" "https:" "https:" "University of Warwick" positions

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | 3 months 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

Enter an email to receive alerts for engineering-computation "https:" "https:" "https:" "https:" "https:" "University of Warwick" positions