PostDoc and/or Sr. Researcher Position in Homotopy Type Theory / Category Theory Carnegie Mellon University/Philosophy Department One year PostDoc and/or Senior Researcher Position in Homotopy Type Theory, start date August 1, 2016 or negotiable. The research group in Homotopy Type Theory in the Philosophy Department at Carnegie Mellon University seeks a one year postdoctoral researcher with 50% teaching duty, consisting of one course per semester on Category Theory and Categorical Logic. There is also a possibility for a visiting professor (open rank), with or without teaching duties. Position could begin August 2016 or January 2017, with a possibility of renewal for an additional year. Candidates should have a research background in relevant areas. Questions about the position can be directed to Professor Steve Awodey: awodey@cmu.edu. Candidates should submit a CV including teaching experience and a 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 Rank 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/ ]