Carnegie Mellon University, Mathematical Sciences

Fellowship ID: CMU-PDFMSHC [#18465]
Fellowship Title: Joint Mathematical Sciences and Hoskinson Center Postdoctoral Fellowship
Fellowship Type: Postdoctoral
Fellowship Location: Pittsburgh, Pennsylvania 15213, United States [map]
Subject Area: Various
Application Deadline: 2021/12/15 11:59PMhelp popup finished (2021/10/04, finished 2022/05/16)
Fellowship Description:    

*** this fellowship has been closed and new applications are no longer accepted. ***

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 and/or 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 and/or 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 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.

Application Materials Required:
Submit the following items online at this website to complete your application:
Further Info:
Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA 15213