The Department of Mathematics at the University of Pittsburgh invites applications for a
two-year postdoctoral position on the formalization of mathematics, to begin in the Fall Term 2019. We seek excellence in research and significant experience with proof assistants. Salary and benefits are competitive.
Submit a vita, three letters of recommendation, a research statement electronically through https://www.mathjobs.org/jobs/jobs/13437. Review of completed files will begin January 15, 2019 and will continue until the position is filled. The University of Pittsburgh is an Affirmative Action, Equal Opportunity Employer. Women and members of minority groups
under-represented in academia are especially encouraged to apply.