Postdoctoral Associate in Mathematics

The Department of Mathematics at Cornell University invites applications for a position of Postdoctoral Associate. Applications will begin to be reviewed immediately, with a target start date for a successful applicant of October 1, 2026. This will be a 1-year appointment with the possibility of renewal through March 2029. The primary duties are to develop and administer a benchmark for auto-formalization of mathematics, and to engage in related research. Duties will include contributing to the benchmarking dataset, organizing and ensuring the quality of the data contributed by others, developing tools to support the creation of the data, and supporting the Math+AI laboratory.

We are particularly interested in candidates with experience in Lean or other proof assistant languages. A Ph.D. in mathematics or a related field is required.

This position is funded by a research project with the Defense Advanced Research Projects Agency of the Department of Defense, through the expMath program.

Review of applications will begin immediately and continue until the position is filled.

Please submit the following items online at this website to complete your application: mathjobs.org

• Cover Letter

• Curriculum Vitae

• Research Statement

• Publication List

• Other(s) (optional)

• Two Reference Letters, at least one of which addresses the candidate’s research experience

Pay Range: $70,000-$80,000 Actual salary offers in the College of Arts and Sciences will be based on education, experience, discipline, and relevant skills.

Application Materials Required:

Submit the following items online at https://www.mathjobs.org/jobs/list/28718 to complete your application:

• Cover letter

• Curriculum Vitae

• Research statement

• Teaching statement

• Publication list

• Other (optional) (optional)

• Two reference letters (to be submitted online by the reference writers on this site)

Further Info:

https://www.math.cornell.edu/

Cornell University
Mathematics Department
310 Malott Hall
Ithaca, NY 14853-4201

Pay Range:

$62,232.00 - $88,745.00

Pay Ranges:

The hiring rate of pay for the successful candidate will be determined considering the following criteria:

• Prior relevant work or industry experience.

• Education level to the extent education is relevant to the position.

• Academic Discipline

• Unique applicable skills.

Employment Assistance:

For general questions about the position or the application process, please contact the Recruiter listed in the job posting or email mycareer@cornell.edu.

If you require an accommodation for a disability in order to complete an employment application or to participate in the recruiting process, you are encouraged to contact Cornell Office of Civil Rights at voice (607) 255-2242, or email at accommodations@cornell.edu.

Applicants that do not have internet access are encouraged to visit your local library, or local Department of Labor. You may also request an appointment to use a dedicated workstation in the Office of Talent Attraction and Recruitment, at the Ithaca campus, by emailing mycareer@cornell.edu.

Notice to Applicants:

Please read the required Notice to Applicants statement by clicking here. This notice contains important information about applying for a position at Cornell as well as some of your rights and responsibilities as an applicant.

EEO Statement:

Cornell welcomes students, faculty, and staff with diverse backgrounds from across the globe to pursue world-class education and career opportunities, to further the founding principle of “... any person ... any study.” No person shall be denied employment on the basis of any legally protected status or subjected to prohibited discrimination involving, but not limited to, such factors as race, ethnic or national origin, citizenship and immigration status, color, sex, pregnancy or pregnancy-related conditions, age, creed, religion, actual or perceived disability (including persons associated with such a person), arrest and/or conviction record, military or veteran status, sexual orientation, gender expression and/or identity, an individual’s genetic information, domestic violence victim status, familial status, marital status, or any other characteristic protected by applicable federal, state, or local law.

Cornell University embraces diversity in its workforce and seeks job candidates who will contribute to a climate that supports students, faculty, and staff of all identities and backgrounds. We hire based on merit, and encourage people from historically underrepresented and/or marginalized identities to apply. Consistent with federal law, Cornell engages in affirmative action in employment for qualified protected veterans as defined in the Vietnam Era Veterans’ Readjustment Assistance Act (VEVRAA) and qualified individuals with disabilities under Section 503 of the Rehabilitation Act. We also recognize a lawful preference in employment practices for Native Americans living on or near Indian reservations in accordance with applicable law.

2026-08-20

In your application, please refer to Professorpositions.com