From: Jonathan Sterling <jon@jonmsterling.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] Postdoc in categorical semantics at Cambridge
Date: Wed, 1 Nov 2023 03:37:08 -0700 (PDT) [thread overview]
Message-ID: <0ed962f3-6bc2-4c05-a2b3-f185ba9a7365n@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 1585 bytes --]
Dear colleagues,
I am hiring a postdoctoral researcher to work with me in the Department of
Computer Science and Technology at the University of Cambridge. Candidates
with expertise in category theory, homotopy type theory, domain theory
and/or the denotational semantics of programming languages are especially
encouraged to apply.
The *New Spaces for Denotational Semantics* project aims to develop an
axiomatic framework for higher-dimensional program semantics with
applications to concurrency, using recent advances in category theory, type
theory, domain theory, and the polarised structure of computational
effects. The project will focus initially on two-dimensional
generalisations of call-by-push-value, duploids, and resource modalities.
Applicants are encouraged to apply as soon as possible; the posting is open
until November 22. Please contact me with any informal inquiries at
js2878@cl.cam.ac.uk, and see our official posting here:
https://www.jobs.cam.ac.uk/job/43755/. More details about the project can
be found on my web page: https://www.jonmsterling.com/jms-00AL.xml.
Please feel free to forward this message to potential candidates.
Best wishes,
Jon
--
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/0ed962f3-6bc2-4c05-a2b3-f185ba9a7365n%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 3241 bytes --]
reply other threads:[~2023-11-01 10:37 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0ed962f3-6bc2-4c05-a2b3-f185ba9a7365n@googlegroups.com \
--to=jon@jonmsterling.com \
--cc=HomotopyTypeTheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).