[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 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
