<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class=""><span class="" style="background-color: rgb(255, 255, 255);">
<div class="">
<div class="">
<div class="">
<div class="">Dear colleagues,</div>
<div class=""><br class="">
</div>
<div class="">The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University has openings for two PhD positions and a PostDoc position in Formal Analysis of Autonomous Systems. We are looking for candidates interested in developing techniques
and tools for the construction of provably-safe and -reliable learning-enabled autonomous systems. </div>
<div class=""><br class="">
</div>
<div class="">Please pass this information on to potential candidates. It would be great if you could also share this information within your network. The announcements for the positions are linked below:</div>
<div class=""><a href="https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11983&rmlang=UK__;!!IBzWLUs!TV7kKUXK6EUa2k6IGl1fU9r-v2qWCZtZKaVlvxARfkK9iEpGD8pZjoWgoJ1gft6oLk575iZfzH0LRJCtdUK7mPtwQZ2ZsUpWaQ$" class="">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11983&rmlang=UK</a></div>
<div class=""><a href="https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK__;!!IBzWLUs!TV7kKUXK6EUa2k6IGl1fU9r-v2qWCZtZKaVlvxARfkK9iEpGD8pZjoWgoJ1gft6oLk575iZfzH0LRJCtdUK7mPtwQZ2B1fwCyw$" class="">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK</a></div>
<div class=""><br class="">
</div>
<div class="">Application deadline: Sep 1, 2023</div>
<div class=""><br class="">
</div>
<div class="">Many thanks!</div>
<div class="">Kindest regards, </div>
<div class="">Hazem Torfah </div>
<div class=""><br class="">
</div>
</div>
</div>
</div>
</span></div>
<div class="">--</div>
<div class="">
<div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div class="">Hazem Torfah</div>
<div class="">Assistant Professor</div>
<div class="">Computing Science Division<br class="">
Chalmers University of Technology</div>
<div class="">412 96 Gothenburg, Sweden</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>