<html><head><meta http-equiv=Content-Type content="text/html; charset=UTF-8"><META name="Author" content="GroupWise WebAccess"><style type="text/css">
body p
{
margin: 0px;
}
</style></head><body style='font-family: Helvetica, Arial, sans-serif; font-size: 13px; '><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;" id="docs-internal-guid-232766f4-7fff-f9d7-e00c-411509689c8f"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;"></span><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;">The Johannes Kepler University has an opening for a full professorship in Formal Methods.</span><br></p><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;"><br></span></p><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;">Application deadline: December 1, 2021</span></p><br><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;">Further details: </span><a href="https://urldefense.com/v3/__https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/professor-for-formal-methods/__;!!IBzWLUs!BFZfAbC0Q-rcA_eTkNvmDDIKYQ2afCVQA9cbXcc-skO37Wl34WCB_716I-A2YKx7O3vDBF0FSWQDGg$" style="text-decoration: none;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(17,85,204);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: underline;">https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/professor-for-formal-methods/</span></a></p><br><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;">Please feel free to contact me for any questions!</span></p><br><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;">Sincerely, </span></p><p style="line-height: 1.38;margin-top: 0.0pt;margin-bottom: 0.0pt;"><span style="font-size: 11.0pt;font-family: Arial;color: rgb(0,0,0);background-color: transparent;font-weight: 400;font-style: normal;font-variant: normal;text-decoration: none;vertical-align: baseline;white-space: pre;">Martina Seidl</span></p></body></html>