Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD student in Computing Science on the topic ...


view this post on Zulip Email Gateway (Aug 05 2022 at 13:07):

From: Tjark Weber <tjark.weber@it.uu.se>
[Apologies for multiple copies. Please forward to interested students.]

Dear all,

Uppsala University is once again advertising a PhD student position on
the topic of efficient and provably correct execution environments.

For more details and application instructions please see
https://uu.se/en/about-uu/join-us/details/?positionId=523769

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: Mar 29 2024 at 12:28 UTC