categories - Category Theory list
 help / color / mirror / Atom feed
From: Corina Cirstea <cc2@ecs.soton.ac.uk>
To: "categories@mq.edu.au" <categories@mq.edu.au>
Cc: Ekaterina Komendantskaya <E.Komendantskaya@soton.ac.uk>
Subject: Logic/Semantics/PL/Verification posts at the University of Southampton
Date: Fri, 10 May 2024 10:27:53 +0000	[thread overview]
Message-ID: <795DDC16-FAD2-48FB-BC59-E57769D2DFA1@soton.ac.uk> (raw)

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

We are looking to expand our research capacity in Logic/Semantics/Programming Languages/Verification at the University of Southampton and are looking to fill several academic positions at junior (fellowship), mid-career (lectureship) and senior (professor) levels.  The links below give general specifications for the posts. Interested candidates are invited to contact Professor Ekaterina Komendantskaya (ek1u23@soton.ac.uk<mailto:ek1u23@soton.ac.uk>) to discuss the posts and opportunities at the University of Southampton.

Fellowship:

https://jobs.soton.ac.uk/Vacancy.aspx?ref=2682124FP<https://url.au.m.mimecastprotect.com/s/n9pLCQnM1Wf0PD30cxOhp4?domain=jobs.soton.ac.uk>

Lecturer:

https://jobs.soton.ac.uk/Vacancy.aspx?ref=2681824FP<https://url.au.m.mimecastprotect.com/s/HfqbCRONg6s2WKR2uNOoOg?domain=jobs.soton.ac.uk>

Associate Professor/Professor:

https://jobs.soton.ac.uk/Vacancy.aspx?ref=2680424FP<https://url.au.m.mimecastprotect.com/s/Sx1OCVARmOHGy45GfyI-2_?domain=jobs.soton.ac.uk>

---------------------------------------------------------------
Dr Corina Cirstea
Electronics and Computer Science
University of Southampton
Southampton, SO17 1BJ
United Kingdom
Tel: +44 (0)23 8059 3625
---------------------------------------------------------------








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: 4462 bytes --]

                 reply	other threads:[~2024-05-10 10:58 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=795DDC16-FAD2-48FB-BC59-E57769D2DFA1@soton.ac.uk \
    --to=cc2@ecs.soton.ac.uk \
    --cc=E.Komendantskaya@soton.ac.uk \
    --cc=categories@mq.edu.au \
    /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).