[Agda] Logic/Semantics/PL/Verification posts at the University of Southampton

[Artem Shinkarov]

Dear Agda List

In case you are looking for an academic position, we are keen to expand our research capacity in Logic/Semantics/Programming Languages/Verification at the University of Southampton.  We 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 (e.komendantskaya at soton.ac.uk) to discuss the posts and opportunities at the University of Southampton.  You are also welcome to speak to Artem Shinkarov by replying this email.

Fellowship (deadline: June 18th):
  https://jobs.soton.ac.uk/Vacancy.aspx?ref=2682124FP

Lecturer (deadline: June 17th):
  https://jobs.soton.ac.uk/Vacancy.aspx?ref=2681824FP

Associate Professor/Professor (deadline: June the 3rd):
  https://jobs.soton.ac.uk/Vacancy.aspx?ref=2680424FP



Cheers,
Artem