1 proof-checking-postdoc Postdoctoral positions at Idiap Research Institute in Switzerland

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc positions

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

Searches related to proof checking postdoc

Enter an email to receive alerts for proof-checking-postdoc positions