Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Postdoctoral position in HoTT
@ 2021-02-19 15:57 Thierry Coquand
  0 siblings, 0 replies; only message in thread
From: Thierry Coquand @ 2021-02-19 15:57 UTC (permalink / raw)
  To: agda mailing list, proglog, Homotopy Type Theory

[-- Attachment #1: Type: text/plain, Size: 1213 bytes --]


I would like to announce a new postdoc position in homotopy type theory/univalent foundations.
For details see

https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=18963

The deadline for application is 2021-03-10.

The call is primarily for people already working in homotopy type theory, but we are also open to considering applications
from people working in nearby areas who would be interested in getting into the field.

The position includes up to 20% teaching duties.
While our department is a joint department between Chalmers and Univ. of Gothenburg, you will get employed at the Univ. of Gothenburg with full employment benefits (health care, pension, etc).

Please do not hesitate to contact me directly for further information.

 Best regards,
 Thierry

-- 
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/9FE39FEE-306F-4420-8781-05D3BD8E3071%40chalmers.se.

[-- Attachment #2: Type: text/html, Size: 2180 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-02-19 15:57 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-19 15:57 [HoTT] Postdoctoral position in HoTT Thierry Coquand

Discussion of Homotopy Type Theory and Univalent Foundations

This inbox may be cloned and mirrored by anyone:

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

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
		homotopytypetheory@googlegroups.com
	public-inbox-index hott

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


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