<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><font face="HelveticaNeue"><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 candidates interested in conducting independent research in the area of formal
analysis of autonomous cyber-physical systems (ACPS). </span><span style="caret-color: rgba(0, 0, 0, 0.9); color: rgba(0, 0, 0, 0.9); background-color: rgb(255, 255, 255);">The candidate will work on developing a new generation of design and verification techniques,
rooted in formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, specification formalism for expressing properties of ACPS, statistical verification, and
runtime verification under uncertainty.</span></font></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);"><font face="HelveticaNeue"><br>
</font></span></div>
<div><font face="HelveticaNeue"><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!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jnbinv8vw$">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></font></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);"><font face="HelveticaNeue"><br>
</font></span></div>
<div><font face="HelveticaNeue"><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);">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK</span></font></div>
<div><br>
</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;">
<font face="HelveticaNeue"><br class="Apple-interchange-newline">
--<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>
hazemto@chalmers.se</font></div>
</div>
<div><font face="HelveticaNeue"><br>
</font></div>
<br>
</body>
</html>