<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 style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);">The </span><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9);">group for Safe and Trustworthy Autonomous Reasoning at Chalmers
University</span><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);"> is looking for PhD candidates interested in conduction research in Formal </span>Verification of Autonomous Cyber-Physical Systems
(ACPS). <span style="caret-color: rgb(26, 26, 26); color: rgb(26, 26, 26); background-color: rgb(255, 255, 255);">The goal of the PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will
develop theory and tools for the construction of runtime monitors that capture under what conditions an ACPS is guaranteed to maintain safety. A key challenge in developing such monitors is to handle noisy, missing, or delayed data. Of particular interest
is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods that allow for building monitors with formal guarantees on their correctness
and reliability.</span>
<div><font color="#1a1a1a"><span style="caret-color: rgb(26, 26, 26); background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div><font color="#1a1a1a"><span style="caret-color: rgb(26, 26, 26); background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div>
<div><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);">This position is funded by the Wallenberg AI, Autonomous Systems, and Software Program (WASP </span><a href="https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsFR2UFqfw$">https://wasp-sweden.org/</a><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);">).
WASP is Sweden’s largest individual research program and provides unique opportunities for achieving international research excellence with industrial relevance.</span></div>
<div><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);"><br>
</span></div>
<div><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);">More information can be found under the following link: </span><span style="caret-color: rgb(26, 26, 26); color: rgb(26, 26, 26); background-color: rgb(255, 255, 255);"><a href="https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12785&rmlang=UK__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsGAJE3-mg$">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12785&rmlang=UK</a></span></div>
<div><span style="caret-color: rgb(26, 26, 26); color: rgb(26, 26, 26); background-color: rgb(255, 255, 255);"><br>
</span></div>
<div><span style="background-color: rgb(255, 255, 255);"><font color="#1a1a1a"><span style="caret-color: rgb(26, 26, 26);">For questions please reach out Hazem Torfah at
<a href="mailto:hazemto@chalmers.se">hazemto@chalmers.se</a></span></font></span></div>
<div><span style="background-color: rgb(255, 255, 255);"><font color="#1a1a1a"><span style="caret-color: rgb(26, 26, 26);"><br>
</span></font></span></div>
<div><span style="background-color: rgb(255, 255, 255);"><font color="#1a1a1a"><span style="caret-color: rgb(26, 26, 26);">Deadline April 30, 2024. </span></font></span></div>
<div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: 400; 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;">
<br class="Apple-interchange-newline">
<br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: 400; 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;">
--<br>
Hazem Torfah<br>
Assistant Professor<br>
Computing Science Division<br>
Chalmers University of Technology<br>
EDIT building | Floor 6V Office 6476<br>
412 96 Gothenburg, Sweden<br>
<a href="mailto:hazemto@chalmers.se">hazemto@chalmers.se</a> </div>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: 400; 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;">
<br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: 400; 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;">
<br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<br>
</div>
</div>
</div>
</body>
</html>