
<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>