From: Bernhard Reus <bernhard-AzqoChGEdPuFxr2TtlUqVg@public.gmane.org>
To: "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org"
<types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org>,
"categories-59hdLBrVOVU@public.gmane.org"
<categories-59hdLBrVOVU@public.gmane.org>
Subject: Lecturer Positions in Computer Science at Sussex
Date: Fri, 1 Apr 2022 15:06:29 +0000 [thread overview]
Message-ID: <DF1E7F3A-E4DF-486D-957C-EBA60EF5F7DD@sussex.ac.uk> (raw)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Informatics at the University of Sussex (UK) is advertising four lectureship positions (equivalent to Assistant Professor) in Computer Science and Artificial Intelligence. Applications are welcome from academics with experience in _any_ area of Computer Science.
Lecturers are expected to teach at undergraduate an postgraduate level and will be associated with one of our research groups: Artificial Intelligence, Creative Technology, and Foundations of Software Systems; the latter being the natural home for Theoretical Computer Science - including type theory and logic.
More details can be found at:
https://urldefense.com/v3/__https://www.sussex.ac.uk/about/jobs/lecturer-com-sci-8058__;!!IBzWLUs!FKHCVCFtjSAPqLictNb3zEuwmQjmijVjUvI6ebglXGD9dF8C1YLHgo6L5aSCCggKa8teYdCvsgxSNQ$
Closing date is May, 9th.
Best,
Bernhard
next reply other threads:[~2022-04-01 15:06 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-04-01 15:06 Bernhard Reus [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-04-01 15:06 Bernhard Reus
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=DF1E7F3A-E4DF-486D-957C-EBA60EF5F7DD@sussex.ac.uk \
--to=bernhard-azqochgedpufxr2ttluqvg@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org \
/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).