Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Permanent Academic posts for Early Career Rese...

view this post on Zulip Email Gateway (Oct 09 2023 at 12:38):

From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
Dear mailing list,

The university of Southampton is looking to hire new academic staff in four
research areas including "Theoretical Computer Science" understood broadly
(Programming Language Semantics, Functional Programming, Theorem Proving,
Logic & Foundations of CS).

More about Southampton University and the post can be found here:
https://jobs.soton.ac.uk/Vacancy.aspx?ref=2466023FP

If you are interested, or know promising early career researchers who
maybe, please direct all emails to me.

Best regards,
Ekaterina Komendantskaya

Professor in Computer Science,
School of Electrical Engineering and Computer Science,
Southampton University
UK
http://www.macs.hw.ac.uk/~ek19/

Last updated: Jan 04 2025 at 20:18 UTC