Postdoctoral Fellow - ICARM
Employment type
Full-time
Work setting
On-site
Location
Pittsburgh, PA
Schedule
Day shift
Posted
You'll be redirected to the employer's application page.
Job overview
The Postdoctoral Fellow - ICARM is an onsite role based in Pittsburgh, PA. Compensation is not specified for this position. The fellow will work at the Institute for Computer-Aided Reasoning in Mathematics at Carnegie Mellon University. This role exists to support the use of new technologies for mathematical research. The fellow will engage in interactive theorem proving, formalization, and AI-driven mathematical research.
What you'll do
- Conduct research using interactive theorem proving, formalization, and AI
- support the institute's mission.
What we're looking for
- Education
- Doctorate degree
- Experience
- Ph.D. in mathematics or a closely related discipline.
- Skills & competencies
- full-timepittsburgh pacarnegie mellon universitypostdocicarmmathematicsaitheorem provingacademicno weekendsno on-call
About the employer
Carnegie Mellon University is hiring for this role. Industry: Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology). Sector: 54.
Additional details
- Industry sector
- 54
- Industry
- Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Occupation code
- 99-9999.99
You'll be redirected to the employer's application page.
Listing ID: 77209f61-db21-4c66-8648-1d36675504f1