* [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