"Alerted.org

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.

Equal Employment Opportunity Statement

**Carnegie Mellon University** is an equal opportunity employer. It does not discriminate in admission, employment, or administration of its programs or activities on the basis of race, color, national origin, sex, disability, age, sexual orientation, gender identity, pregnancy or related condition, family status, marital status, parental status, religion, ancestry, veteran status, or genetic information. Furthermore, Carnegie Mellon University does not discriminate and is required not to discriminate in violation of federal, state, or local laws or executive orders.