PostDoc (M/F) in Counting, Complexity, and Neurosymbolic Reasoning

Description

Offer Description: As machine learning systems become increasingly prevalent in our daily lives, we need guarantees of correctness in sensitive areas. The CertAI project aims to advance in this direction by leveraging certified model counting to certify machine learning results in restricted formal contexts. The objective of the proposed PostDoc is to work at the intersection of model counting and machine learning, with the aim of significantly improving counting performance, building on recent advances in normal forms for counting. The PostDoc is responsible for personally carrying out research, but it is also welcome if i would assist in guiding and instructing other PhD candidates and master students in the project. The PostDoc will take place at CRIL (Lens Computer Science Research Center), an internationally recognized laboratory renowned for its cutting-edge expertise in artificial intelligence, particularly in the areas of knowledge representation, reasoning (SAT, constraints), and model counting. The PostDoc will join a dynamic and respected team in these fields, benefiting from: - a stimulating research environment, - expert supervision, - and access to the necessary equipment and resources to carry out their work. Requirements: Research Field Computer science Education Level PhD or equivalent Research Field Mathematics Education Level PhD or equivalent Languages FRENCH Level Basic Research Field Computer science Years of Research Experience None Research Field Mathematics » Algorithms Years of Research Experience None Additional Information: Eligibility criteria We are looking for a highly motivated candidate with a strong interest in the theoretical and practical aspects of computer science, satisfiability, and/or model counting. Candidates should hold a PhD degree (or equivalent) in computer science or applied mathematics and possess theoretical skills and/or implementation experience, preferably in the fields of SAT, model counting, or similar areas. Additional experience in the theory and practice of machine learning would be an asset. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UMR8188-MARHEC-007/Default.aspx

Sectors

Source

Source: euraxess.ec.europa.eu