Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc in Computing Science with a Specialisa...

view this post on Zulip Email Gateway (May 05 2021 at 12:33):

From: Tjark Weber <>
Dear all,

The Department of Information Technology at Uppsala University (Sweden)
is currently advertising five postdoc positions with a Specialisation
in IT for a Sustainable and Secure Society.

One of these positions requires (depending on the choice of area for
the research project) experience in formal methods and/or proof
assistants; experience in cybersecurity is meriting.

Please see the announcement for further details:


När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här:

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here:

Last updated: Jan 25 2022 at 02:35 UTC