As part of a three-year project funded by the John Templeton Foundation, we seek to hire three postdoctoral fellows in the study of science, mathematics, and philosophy of mathematical discovery. Our project has three main themes; ideal candidates will have an interest in one or more of these themes. Theme One: Proofs in Practice: the cognitive science and psychology of how humans discover and make sense of mathematical proofs, both as individuals and collectives. How do people prove things? Theme Two: Transcendental Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use of artificial intelligence in both discovering and verifying mathematical proofs, with and without human aid. What kinds of tools can we build, and how will they alter the nature of mathematics? Fellowship Overview: This fellowship is a three-year position, resident, in person, and full time at Carnegie Mellon University in Pittsburgh, Pennsylvania, USA. The salary is $78,000/year and includes health benefits. Citizenship unrestricted, and international travel assistance is available. Fellows work independently under the mentorship of the project director, Prof. Simon DeDeo, and a board of advisors in mathematics (Akshay Venkatesh, Michael Harris, Simon Rubinstein-Salzedo), computer science (Dana Randall, Scott Aaronson), cognitive science (Thalia Wheatley, Tyler Marghetis, Carina Curto), and philosophy (Edouard Machery, Nick Stang, Sean Carroll). The director and the board work together to help mentor the fellows, promote their research, and develop their careers. As part of the interdisciplinary goals of this project, fellows are funded to spend at least one semester working with someone outside of their home domain. This can be with faculty in Pittsburgh, at either CMU or the University of Pittsburgh; fellows have the opportunity, if desired and on mutual agreement with their host, to visit and collaborate with one of our board of advisors, or with another scholar. Offsite visits include funding for travel and lodging.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
Job Type
Full-time
Career Level
Entry Level
Industry
Educational Services
Education Level
Ph.D. or professional degree
Number of Employees
5,001-10,000 employees