PhD Thesis: Proof Complexity & Knowledge Compilation

The CNRS Centre de Recherche en Informatique de Lens invites applications for a First Stage Researcher (R1) position. The successful candidate will join investigations in proof complexity and related AI topics, under an international supervision team, in a lab located in Lens, France.

Working language is English; 35 hours per week; starting date 1 Oct 2026. This temporary full-time role focuses on theoretical analysis, algorithmic aspects, and verification methods for SAT-like problems, with