1 software-verification "https:" Postdoctoral research jobs at Idiap Research Institute

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification "https:" positions

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | about 2 months ago

of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and

Enter an email to receive alerts for software-verification "https:" positions