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

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.