Post Doctoral Fellow - SAT 4Math

Carnegie Mellon University

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. **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.

Posted 2025-11-13

Recommended Jobs

Gaming Associate Attorney - Litigation (Multi-City)

Philadelphia, PA

Growing CPA firm with offices in Scottsdale and Chandler, Arizona is looking to add an Audit Supervisor to their staff. Responsibilities: Build relationships with clients by gathering informati…

View Details

Posted 2025-11-07

landscaping

Farine Lawn Care

Gibsonia, PA

Job Description Job Description IMMEDIATE POSTION AVALIABE. We are searching for experienced landscaping individual, Must have driver's license. Preferred experience operating dump trucks and tra…

View Details

Posted 2025-10-24

Veterinarian J626959

Norristown, PA

Step into an exciting veterinary career with a salary of up to $150,000, plus a sign-on bonus for qualified candidates! The Hospital Join a dedicated team in a leading animal hospital that is ren…

View Details

Posted 2025-11-08

Manufacturer's Outside Sales Representative

Schaeffer Manufacturing-Schaeffer's Oil

Scranton, PA

Job Description Job Description Outside Sales Representative - 1099 (Uncapped Earnings) **Schaeffer's Specialized Lubricants - Since 1839 – Made in the USA** Uncapped Earnings for Relentless S…

View Details

Posted 2025-11-07

Sales Director - Data & AI Knowledge Asset

Accenture

Pittsburgh, PA

We Are: Accenture is a global professional services company with leading capabilities in digital, cloud and security. Combining unmatched experience and specialized skills across more than 40 industri…

View Details

Posted 2025-11-13

Section Chief, Pediatric EM for a Children’s Hospital in Philadelphia!

Enterprise Medical Recruiting

Pennsylvania

A safety-net Children’s Hospital in Philadelphia, Pennsylvania is hiring a full-time board certified Pediatric Emergency Medicine physician to serve as Chief of the Department. Must have 5-7 years of…

View Details

Posted 2025-11-07

SAP iXp Intern - Customer References & Virtual Events

SAP

Newtown Square, PA

We help the world run better At SAP, we enable you to bring out your best. Our company culture is focused on collaboration and a shared passion to help the world run better. How? We focus every da…

View Details

Posted 2025-11-06

Seasonal Retail Store Associate - Grove City, 6125, Grove City, PA

adidas

Grove City, PA

At adidas we have been challenging the status quo for over 70 years and we’re not done yet. We are calling all Seasonal Store Associates who don’t accept what “was” or what “is,” but those …

View Details

Posted 2025-09-24

Supervisor Operations Maintenance at Penn Medicine Rittenhouse Location

Penn Medicine

Philadelphia, PA

**Description** Penn Medicine is dedicated to our tripartite mission of providing the highest level of care to patients, conducting innovative research, and educating future leaders in the field of me…

View Details

Posted 2025-11-13

Sports-Minded Marketing Assistant

RPI Philadelphia

Philadelphia, PA

Rocksteady is a first-rate direct marketing firm in Philadelphia with a zeal for promotions and brand management. We are searching for determined, imaginative, keen, and career-oriented individuals t…

View Details

Posted 2025-11-08