<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>====================================================================
<br>
<br>
Postdoctoral Research Associate in COMPUTER SCIENCE and ROBOTICS
<br>
Department of Computer Science, University of Liverpool, UK
<br>
<br>
<br>
We are seeking to recruit a Postdoctoral Researcher to work in
the
<br>
"Autonomy and Verification" Lab at the University of Liverpool
<br>
<br>
<a class="moz-txt-link-freetext"
href="http://cgi.csc.liv.ac.uk/%7Ematt/AVLab">http://cgi.csc.liv.ac.uk/~matt/AVLab</a>
<br>
<br>
We are looking for applicants working in relevant areas across
<br>
autonomy and verification, including any of:
<br>
<br>
* Agents and Multi-agent Systems, covering agent theory,
swarms,
<br>
teamwork, BDI, programming languages, modeling, etc.
<br>
<br>
* Temporal logics and Verification, covering formal
specification,
<br>
model-checking, proof, runtime verification, synthesis, etc.
<br>
<br>
* Robotics and Security, covering software architectures, ROS,
<br>
security verification, simulation, testing, monitoring, etc.
<br>
<br>
Further details: <a class="moz-txt-link-freetext"
href="http://www.jobs.ac.uk/job/BGB846/">http://www.jobs.ac.uk/job/BGB846/</a>
<br>
<br>
Reference: 008564 DEADLINE: 2nd January 2018
<br>
<a class="moz-txt-link-freetext"
href="https://www.liverpool.ac.uk/working/jobvacancies/">https://www.liverpool.ac.uk/working/jobvacancies/</a>
<br>
<br>
====================================================================
<br>
</p>
<pre class="moz-signature" cols="72">--
Dr. Louise Dennis,
Department of Computer Science, Room 117, Ashton Building, University of Liverpool, Liverpool, L69 3BX, UK.
<a class="moz-txt-link-freetext" href="http://www.csc.liv.ac.uk/~lad/">http://www.csc.liv.ac.uk/~lad/</a> phone: +44 151 795 4237
</pre>
</body>
</html>