categories - Category Theory list
 help / color / mirror / Atom feed
* Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
@ 2024-10-25 11:18 Peter LeFanu Lumsdaine
  0 siblings, 0 replies; only message in thread
From: Peter LeFanu Lumsdaine @ 2024-10-25 11:18 UTC (permalink / raw)
  To: categories

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

Dear all,

We have a postdoc position open in type theory and mathematical logic, for a 2-year post, starting this coming January, with application deadline Nov 4 (i.e. Monday week — sorry for the rather late announcement).  Type theory is the core of the grant project it’s attached to, but applicants working on related topics in logic are also very welcome.

The full posting and application system is at:
[English] https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=24395&rmlang=UK<https://url.au.m.mimecastprotect.com/s/cgRlCxngGkf1QxBO0f8f4FydEHw?domain=su.se>
[Swedish] https://www.su.se/om-universitetet/jobba-på-su/lediga-jobb?rmpage=job&rmjob=24394&rmlang=SE<https://url.au.m.mimecastprotect.com/s/CRZpCzvkmpfMm4nLBCgivF9mEcM?domain=su.se>

Although the instructions ask for ≤3-years post-PhD, exceptions can be made to this, so I encourage all interested candidates to apply!

And please email me <p.l.lumsdaine@math.su.se<mailto:p.l.lumsdaine@math.su.se>> if you have any inquiries about the position — the application procedure, our department, Stockholm/Sweden, etc…

Best wishes,
–Peter.


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


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

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

only message in thread, other threads:[~2024-10-25 11:23 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-10-25 11:18 Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov) Peter LeFanu Lumsdaine

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).