2 formal-methods "Eindhoven University of Technology (TU" Postdoctoral positions in Netherlands

Postdoc in Neuro-Symbolic Methods Integrating Generative AI with Symbolic Reasoning

Eindhoven University of Technology (TU/e); 27 Sep ’25 published | Netherlands | 11 days ago

focused on integrating generative AI (e.g., LLMs) with symbolic reasoning, where the latter can verify the output of the former is compliant with explicit and formal system constraints. The position is

Postdoc in Neuro-Symbolic Methods Integrating Generative AI with Symbolic Reasoning

Eindhoven University of Technology (TU/e) | Netherlands | 10 days ago

28 Sep 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Computer science Researcher Profile Recognised Researcher (R2) Country Netherlands