Postdoc: Logical Reasoning & ML for ARC Challenge

A leading research institution is seeking a Postdoctoral Researcher specializing in Logical Reasoning and Machine Learning. The position focuses on developing methods for the Abstraction and Reasoning Corpus (ARC) challenge, requiring a PhD in computer science and experience in SAT/ASP/SMT/MaxSAT. Applicants must possess excellent English skills. This role offers a flexible start date before September 2026 and involves significant research in a cutting-edge AI area. #J-18808-Ljbffr