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.
