2 verification Postdoctoral positions in Belgium

Postdoctoral Researcher in Machine Learning Security & Testing

University of Luxembourg | Belgium | 3 months ago

governance of AI agents Formal specification and verification techniques for AI-enabled systems AI systems for enterprise and cybersecurity applications AI compliance, risk assessment, and trustworthy AI

Postdoctoral scholarship holder Automated Reasoning for Quantum Knowledge

University of Antwerp | Belgium | 28 days ago

have work related to quantum information processing or quantum computation, e.g.: Published at database, verification, or knowledge representation and reasoning venues comparable to PODS, CAV, KR, or CP