Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD student in Computing Science on safe and e...


view this post on Zulip Email Gateway (Jun 27 2023 at 12:03):

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

Dear all,

Uppsala University is advertising a fully funded PhD student position
on safe and efficient programming languages. We welcome applications
from students with an interest in theorem proving.

For more details and application instructions please see
https://www.jobb.uu.se/details/?positionId=640252

The application deadline is August 4, 2023.

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: Apr 29 2024 at 04:18 UTC