Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* Job at the University of Leeds
@ 2020-03-13 14:52 Nicola Gambino
  0 siblings, 0 replies; only message in thread
From: Nicola Gambino @ 2020-03-13 14:52 UTC (permalink / raw)
  To: homotopyt...@googlegroups.com

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

Dear friends and colleagues,

I am writing because the School of Mathematics has just advertised a permanent position (Lectureship):


Logic, intended broadly, is explicitly mentioned as one of the preferred areas for the appointment.

The closing date is Sunday 26th April.

For those unfamiliar with UK academic system, a lectureship is a permanent position which involves both research and teaching.

If you wish to have more information, please feel to contact me.

With best regards,

Dr Nicola Gambino
Associate Professor in Pure Mathematics and Director of Research and Innovation
School of Mathematics, University of Leed

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

^ 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-13 14:52 Job at the University of Leeds Nicola Gambino

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