
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div style="display: block;"><div class="xdj266r x11i5rnm xat24cr x1mh8g0r x1vvkbs x126k92a" style="margin: 0px; overflow-wrap: break-word; font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><div dir="auto"><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;">Within the newly </span><font color="#050505" face="system-ui, -apple-system, system-ui, .SFNSText-Regular, sans-serif"><span style="caret-color: rgb(5, 5, 5); font-size: 15px; white-space: pre-wrap;">founded chair of Artificial Intelligence and Formal Methods at the Faculty of Computer Science at the Ruhr-University Bochum, Germany, we have</span></font><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;"> several positions (PhD and Postdoc) available. </span></div><div dir="auto"><br></div><div dir="auto"><font color="#050505"><span style="caret-color: rgb(5, 5, 5); font-size: 15px; white-space: pre-wrap;">Please apply via the links listed below or spread the word. Do not hesitate to contact me for questions. </span></font><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;">The application deadline is already by the end of the year. Join us to increase the trustworthiness of Artificial Intelligence!</span></div><div dir="auto"><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;"><br></span></div><div dir="auto"><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;">More positions will become available soon as part of my European Research Council (ERC) Starting Grant DEUCE: Data-Driven Verification and Learning Under Uncertainty. </span></div><div dir="auto"><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;"><br></span></div><div dir="auto"><span style="color: rgb(5, 5, 5); font-family: inherit; font-size: 15px; white-space: pre-wrap;">Nils Jansen. </span></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><div style="display: block;"><div style="-webkit-user-select: all; -webkit-user-drag: element; display: inline-block;" class="apple-rich-link" draggable="true" role="link" data-url="https://jobs.ruhr-uni-bochum.de/jobposting/947c56db605caf4314b8206fe1ed535eca5bf3220?ref=homepage"><a style="border-radius:10px;font-family:-apple-system, Helvetica, Arial, sans-serif;display:block;-webkit-user-select:none;width:300px;user-select:none;-webkit-user-modify:read-only;user-modify:read-only;overflow:hidden;text-decoration:none;" class="lp-rich-link" rel="nofollow" href="https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/947c56db605caf4314b8206fe1ed535eca5bf3220?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rU6NL3Yk$" dir="ltr" role="button" draggable="false" width="300"><table style="table-layout:fixed;border-collapse:collapse;width:300px;background-color:#E5E6E9;font-family:-apple-system, Helvetica, Arial, sans-serif;" class="lp-rich-link-emailBaseTable" cellpadding="0" cellspacing="0" border="0" width="300"><tbody><tr><td vertical-align="center" align="center"><img style="width:300px;filter:brightness(0.97);height:108px;" width="300" height="108" draggable="false" class="lp-rich-link-mediaImage" alt="31b78f7e-5d7b-4a98-9d16-db7884a7136d.jpeg" src="cid:C81A54E0-6A6B-4D38-9AEB-7B453FDC933C"></td></tr><tr><td vertical-align="center"><table bgcolor="#E5E6E9" cellpadding="0" cellspacing="0" width="300" style="font-family:-apple-system, Helvetica, Arial, sans-serif;table-layout:fixed;background-color:rgba(229, 230, 233, 1);" class="lp-rich-link-captionBar"><tbody><tr><td style="padding:8px 0px 8px 0px;" class="lp-rich-link-captionBar-textStackItem"><div style="max-width:100%;margin:0px 16px 0px 16px;overflow:hidden;" class="lp-rich-link-captionBar-textStack"><div style="word-wrap:break-word;font-weight:500;font-size:12px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-topCaption-leading"><a rel="nofollow" href="https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/947c56db605caf4314b8206fe1ed535eca5bf3220?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rU6NL3Yk$" style="text-decoration: none" draggable="false"><font color="#272727" style="color: rgba(0, 0, 0, 0.847059);">Two Full-time PhD positions in Artificial Intelligence and Formal Methods (TV-L E13)</font></a></div><div style="word-wrap:break-word;font-weight:400;font-size:11px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-bottomCaption-leading"><a rel="nofollow" href="https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/947c56db605caf4314b8206fe1ed535eca5bf3220?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rU6NL3Yk$" style="text-decoration: none" draggable="false"><font color="#808080" style="color: rgba(0, 0, 0, 0.498039);">jobs.ruhr-uni-bochum.de</font></a></div></div></td></tr></tbody></table></td></tr></tbody></table></a></div></div></div><div dir="auto"><br></div></div></div></div><div style="display: block;"><div style="display: block;"><div style="-webkit-user-select: all; -webkit-user-drag: element; display: inline-block;" class="apple-rich-link" draggable="true" role="link" data-url="https://jobs.ruhr-uni-bochum.de/jobposting/3afc8db225556e47b7a49b17bc240bcf948d90cb0?ref=homepage"><a style="border-radius:10px;font-family:-apple-system, Helvetica, Arial, sans-serif;display:block;-webkit-user-select:none;width:300px;user-select:none;-webkit-user-modify:read-only;user-modify:read-only;overflow:hidden;text-decoration:none;" class="lp-rich-link" rel="nofollow" href="https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/3afc8db225556e47b7a49b17bc240bcf948d90cb0?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rZeh3ri0$" dir="ltr" role="button" draggable="false" width="300"><table style="table-layout:fixed;border-collapse:collapse;width:300px;background-color:#E5E6E9;font-family:-apple-system, Helvetica, Arial, sans-serif;" class="lp-rich-link-emailBaseTable" cellpadding="0" cellspacing="0" border="0" width="300"><tbody><tr><td vertical-align="center" align="center"><img style="width:300px;filter:brightness(0.97);height:108px;" width="300" height="108" draggable="false" class="lp-rich-link-mediaImage" alt="31b78f7e-5d7b-4a98-9d16-db7884a7136d.jpeg" src="cid:2F35ED4E-928C-4687-AEAD-42F3F966AB31"></td></tr><tr><td vertical-align="center"><table bgcolor="#E5E6E9" cellpadding="0" cellspacing="0" width="300" style="font-family:-apple-system, Helvetica, Arial, sans-serif;table-layout:fixed;background-color:rgba(229, 230, 233, 1);" class="lp-rich-link-captionBar"><tbody><tr><td style="padding:8px 0px 8px 0px;" class="lp-rich-link-captionBar-textStackItem"><div style="max-width:100%;margin:0px 16px 0px 16px;overflow:hidden;" class="lp-rich-link-captionBar-textStack"><div style="word-wrap:break-word;font-weight:500;font-size:12px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-topCaption-leading"><a rel="nofollow" href="https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/3afc8db225556e47b7a49b17bc240bcf948d90cb0?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rZeh3ri0$" style="text-decoration: none" draggable="false"><font color="#272727" style="color: rgba(0, 0, 0, 0.847059);">Full-time Postdoc position in Artificial Intelligence and Formal Methods (TV-L E14 for 2 years)</font></a></div><div style="word-wrap:break-word;font-weight:400;font-size:11px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-bottomCaption-leading"><a rel="nofollow" href="https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/3afc8db225556e47b7a49b17bc240bcf948d90cb0?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rZeh3ri0$" style="text-decoration: none" draggable="false"><font color="#808080" style="color: rgba(0, 0, 0, 0.498039);">jobs.ruhr-uni-bochum.de</font></a></div></div></td></tr></tbody></table></td></tr></tbody></table></a></div></div></div><br><div>

<meta charset="UTF-8"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>—<br>Prof. Dr. Nils Jansen<br>Chair of Artificial Intelligence and Formal Methods<br>Ruhr-University Bochum, Germany<br>http://nilsjansen.org</div></div>

</div>

<br></body></html>