One-Year Senior Researcher Position 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 Senior Researcher or Visiting Professor (open rank), without teaching duties, for one academic year. Suitable for a research or sabbatical leave from your home institution. Position could begin as early as August 2017, or later. Candidates should have a strong research background in relevant areas and a desire to collaborate with the existing research group, which consists of several faculty members, postdocs, and graduate students. Questions about the position should 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 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/ ]