2 formal-method Postdoctoral positions in Switzerland

Postdoctoral Researcher position in Neuro-Symbolic Agentic/LLM Reasoning

Idiap Research Institute | Switzerland | 3 months ago

related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods

Postdoctoral Position in Quantum Matter and Quantum Information Science

Ecole Polytechnique Federale de Lausanne | Switzerland | 18 days ago

/ exposure to tensor network methods or and/or AI/LLM for physics would be a positive addition. For this postdoctoral position, we intend to focus on topological two-dimensional materials, flat bands, and