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 <tjark.weber@it.uu.se>
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:
https://uu.se/en/about-uu/join-us/details/?positionId=398570

Best,
Tjark

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: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy


Last updated: Dec 08 2021 at 09:20 UTC