Postdoc
Computing and data
18 days left
PostDoc (M/F) in Counting, Complexity, and Neurosymbolic Reasoning
CNRS - National Center for Scientific Research · Centre de Recherche en Informatique de Lens, France
What the advert says
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...
Extract only. The full description, conditions and application form are on the original page.
The facts
| Level | Postdoc |
|---|---|
| Field | Computer science, Mathematics, Algorithms |
| Institution | CNRS - National Center for Scientific Research |
| Where | Centre de Recherche en Informatique de Lens, France |
| Funding | Not funded by a EU programme |
| Posted | 10 October 2026 |
| Deadline | 30 October 2026 |
| Listed via | EURAXESS (European Commission) |
Open the original advert
Applications are made on the institution's own page, never here.