Post-Doctoral Researcher in: Homotopy Type Theory / Category Theory / Type Theory / Homotopy Theory Carnegie Mellon University / Philosophy Department The research group in Homotopy Type Theory at Carnegie Mellon University seeks a Post-Doctoral Researcher for one academic year, with a possibility of renewal. Position to begin September 2019, or possibly later, and continue for 9 months. Candidates should have a PhD and research experience in a relevant area and a desire to collaborate with the existing research group, which consists of several faculty members, postdocs, and graduate students. The position is contingent on the expected approval of funding. Questions about the position may be directed to Steve Awodey, awodey@cmu.edu. Candidates should submit a CV and a brief research statement to CMUPhilosophy@andrew.cmu.edu. ****************************************************************************************** More Information: Please visit “Why Carnegie Mellon” to learn more about becoming part of an institution inspiring innovations that change the world. A listing of employee benefits is available at: http://www.cmu.edu/jobs/benefits-at-a-glance/index.html Department URL: https://www.cmu.edu/dietrich/philosophy/ Primary Location: United States-Pennsylvania-Pittsburgh Time Type: Full Time Minimum Education Level: Doctorate or equivalent Salary: According to Experience ****************************************************************************************** Carnegie Mellon University does not discriminate in admission, employment, or administration of its programs or activities on the basis of race, color, national origin, sex, handicap or disability, age, sexual orientation, gender identity, religion, creed, ancestry, belief, veteran status, or genetic information. Furthermore, Carnegie Mellon University does not discriminate and is required not to discriminate in violation of federal, state, or local laws or executive orders. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]