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/ ]