University of Pittsburgh, Mathematics

Position ID: Pitt-POSTDOC [#13437]
Position Title: Post-Doc Formalization of Mathematics
Position Type: Postdoctoral
Position Location: Pittsburgh, Pennsylvania 15260, United States [map]
Subject Area: Formalization of Mathematics
Application Deadline: finished (2018/12/21, finished 2019/11/03, listed until 2019/04/30)
Position Description:    

*** this position has been closed, and no new applications will be accepted. ***

* this map is a best-effort approximation. Open in Google Maps directly.

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 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.

Application Materials Required:
Submit the following items online at this website to complete your application:
And anything else requested in the position description.

Further Info:
Erika Carpio
139 University Place
302 Thackeray Hall
Pittsburgh, PA 15260

© 2020 MathJobs.Org, American Mathematical Society. All Rights Reserved.