Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Postdoctoral research fellowship at the University of Leeds
@ 2020-12-07 11:19 Nicola Gambino
  0 siblings, 0 replies; only message in thread
From: Nicola Gambino @ 2020-12-07 11:19 UTC (permalink / raw)
  To: homotopytypetheory; +Cc: Marcelo Fiore

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

[Apologies for multiple postings]

Dear friends and colleagues,

The School of Mathematics of the University of Leeds is offering a 3-year postdoctoral research fellowship to work on the EPSRC-funded project "“Monoidal bicategories, linear logic and operads” with Marcelo Fiore (University of Cambridge) and me. Further particulars are at

http://jobs.leeds.ac.uk/EPSMA1027

The deadline for applications is January 8th, 2021.

If you have any queries, please contact us.

With best regards,
Nicola

--
Dr Nicola Gambino
Associate Professor in Pure Mathematics and Director of Research and Innovation
School of Mathematics, University of Leeds
http://www1.maths.leeds.ac.uk/~pmtng/

-- 
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/4BA8342D-4D75-436F-9FEF-5BE8E67373E4%40leeds.ac.uk.

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

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

only message in thread, other threads:[~2020-12-07 11:20 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-12-07 11:19 [HoTT] Postdoctoral research fellowship at the University of Leeds Nicola Gambino

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