[agents] Postdoc: verification of autonomous systems

[Alessio Lomuscio]

A postdoctoral position is available at Imperial College London, UK, to 
work in the project "Verification of Autonomous Systems".

The project aims to develop verification methodologies for autonomous 
systems specified by agent-based logics, including epistemic logic.

The position is available from now until 30 Sept 2015. Extensions are 
possible subject to further funding. The deadline for applications is 19 
October. Applications received after this date will be considered if the 
post remains vacant.

Further details on the position and required background are available at
http://goo.gl/1GZAOQ

Informal inquiries to a.lomuscio at imperial.ac.uk are welcome.

Best

-Alessio

-- 
Alessio Lomuscio, PhD
Professor in Logic for Multi-Agent Systems
Department of Computing         http://www.doc.ic.ac.uk/~alessio
Imperial College London         http://vas.doc.ic.ac.uk/
Exhibition Road                 Phone: +44 (20) 7594 8414
London, SW7 2AZ, UK             Fax: +44 (20) 7581 8024