Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* Postdoc at Wesleyan (teaching-funded)
@ 2020-03-28 20:41 Dan Licata
  0 siblings, 0 replies; only message in thread
From: Dan Licata @ 2020-03-28 20:41 UTC (permalink / raw)
  To: HomotopyT...@googlegroups.com


We have a 2-year postdoc at Wesleyan funded by teaching (in computer science): 
for next year and the year after.  

The teaching load is 2-1, and the 2 will likely be 2 sections of an intro programming course, so only 1 prep per semester.  This is the same teaching load I have, so it’s totally possible to get some research done along with it.  If you have questions, feel free to email me off-list.  


^ permalink raw reply	[flat|nested] only message 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 --
2020-03-28 20:41 Postdoc at Wesleyan (teaching-funded) Dan Licata

Discussion of Homotopy Type Theory and Univalent Foundations

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

Example config snippet for mirrors

Newsgroup available over NNTP:

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