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, without teaching duties, for one academic year, with a possibility of renewal. Position could begin as early as August 2017, or later. 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. 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/ ]