From: Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com>
To: "HomotopyTypeTheory@googlegroups.com"
<homotopytypetheory@googlegroups.com>
Subject: [HoTT] Asst. Prof. in Math. Logic at Stockholm, deadline April 15
Date: Sun, 23 Feb 2025 14:14:28 +0100 [thread overview]
Message-ID: <CAAkwb-=j3amqOMLE_Vay-CLw-AVfWF0YyGkc4tmWxXXxBqhB3Q@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1583 bytes --]
Dear all,
We are hiring an Assistant Professor in Mathematics with focus on
Mathematical Logic (a tenure-track position), at the Stockholm University
Department of Mathematics. Applicants from all areas of logic are welcome,
and we especially welcome applications from women and other
underrepresented groups.
The Logic group in Stockholm currently consists of professor emeritus Per
Martin-Löf, and associate professors Peter LeFanu Lumsdaine and Anders
Mörtberg, besides several PhD students and postdocs. The department is a
vibrant place for logic, with a regular seminar (
https://logic.math.su.se/seminar/), advanced courses in logic, and close
collaborations with other research groups in Sweden and internationally.
More details and application link are at the official listing,
https://su.varbi.com/en/what:job/jobID:796743/where:4/
Application deadline: April 15, 2025, 11:59 PM CEST
Feel free to contact Anders Mörtberg (anders.mortberg@math.su.se) and Peter
LeFanu Lumsdaine (p.l.lumsdaine@math.su.se) if you have any questions about
the position or the logic group, besides the departmental/administrative
contacts named in the listing.
--
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 visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3Dj3amqOMLE_Vay-CLw-AVfWF0YyGkc4tmWxXXxBqhB3Q%40mail.gmail.com.
[-- Attachment #2: Type: text/html, Size: 2112 bytes --]
reply other threads:[~2025-02-23 13:14 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='CAAkwb-=j3amqOMLE_Vay-CLw-AVfWF0YyGkc4tmWxXXxBqhB3Q@mail.gmail.com' \
--to=p.l.lumsdaine@gmail.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).