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: (posted 2018/12/21, listed until 2019/04/30)
Position Description:    

*** the list date or deadline for this position has passed, and no new applications will be accepted. ***

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

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