Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
* [HoTT] Postdoc at CMU
@ 2019-06-01 12:54 Steve Awodey
  0 siblings, 0 replies; 1+ messages in thread
From: Steve Awodey @ 2019-06-01 12:54 UTC (permalink / raw)
  To: Homotopy Type Theory, categories net, CMU HoTT

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.

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/3CCE3734-DDD9-4E93-82B8-D5EB69667635%40cmu.edu.
For more options, visit https://groups.google.com/d/optout.

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-06-01 12:54 [HoTT] Postdoc at CMU Steve Awodey

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/ public-inbox