"Post Doctoral Fellow - SAT 4Math"

Carnegie Mellon University: School of Computer Science: Computer Science

Location: Pittsburgh, PA

Description:

The Computer Science Department of Carnegie Mellon University has an exciting opportunity for a Postdoctoral Fellow.

The SAT4Math project is developing solver technology that makes advanced SAT-based reasoning broadly accessible for mathematical discovery by enabling solvers to natively work with high-level structures such as cardinality constraints without requiring users to craft intricate encodings. Building on recent advances in compact KNF representations and native cardinality propagation, the project aims to create an end-to-end solver stack that preserves mathematical structure, learns effectively from counting constraints, and scales through component-based parallelism. The focus of the post-doc position is to design and implement this pipeline -- developing native reasoning for rich combinatorial constraints, creating tools that automatically choose and adapt encodings, and integrating these capabilities into a user-friendly framework that empowers mathematicians to pose, explore, and resolve large combinatorial problems with SAT technology.

Qualifications:

• PhD degree in computer science or closely related discipline.
• Ability to carry out both independent research and collaborative work.
• Excellent communication skills.
• Strong publication record.

Apply Now