Joint CMU Mathematical Sciences and Hoskinson Center Postdoctoral Fellowship
Deadline: 15 dec 2021
The Department of Mathematical Sciences and the Charles C. Hoskinson Center for Formal Mathematics plan to make a joint post-doctoral appointment beginning September 1, 2022. The department has research groups in applied analysis, computational mathematics, combinatorics, discrete and convex geometry, logic, and mathematical finance and stochastic analysis. Applicants are expected to show exceptional research promise, as well as clear evidence of achievement, and should have research interests that intersect those of the current faculty of the department.
The Hoskinson Center is dedicated to the development and dissemination of formal mathematics. The successful candidate will be expected to spend half their time working with the Center to explore ways of using the Lean programming language and proof assistant in their research and teaching.
Preference will be given to candidates who have shown outstanding promise andor excellent accomplishments in research. Background with formal methods and the use of a proof assistant is desirable, but not required; a demonstrated interest in the use of novel computational methods in research andor teaching is sufficient. A Ph.D. in mathematics or closely related disciplines is required.
The Department of Mathematical Sciences is committed to increasing the diversity of our community on a range of intellectual and cultural dimensions. Carnegie Mellon considers applicants for employment without regard to, and does not discriminate on the basis of, gender, race, protected veteran status, disability, sexual orientation, gender identity, and any additional legally protected status.
Applicants should submit all materials electronically through Interfolio and MathJobs. This includes a cover letter, a curriculum vita, list of publications, a teaching statement, and a statement describing current and planned research activities. At least three letters of reference, one of which addresses teaching, will be solicited through MathJobs.
For full consideration, applications should be submitted by December 15, 2021.