Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral research assistant position in logic for autonomous systems, Oxford (U.K.)

The Department of Computer Science of University of Oxford seeks a postdoctoral researcher to work on a 3-year EPSRC project entitled `New Foundational Structures for Engineering Multi-UAV Protocols'.

This interdisciplinary project aims to verify autonomous Unmanned Aerial Vehicles (UAV's) that not only navigate, but also communicate with each other. The project aims to span the full verification life cycle: from high-level logical specifications, to oracle-based test-set reasoning through a bounded model checker, to low-level code on our four Pelican UAVs. The position requires a researcher with a proven track record of high-quality research in logic and its applications. Preference will be given to researchers with experience in modelling and reasoning about epistemic properties of protocols of communicative Multi-Agent Systems.

Closing date for applications: 12 NOON ON MONDAY 30 JULY 2012 For more information, see http://www.cs.ox.ac.uk/news/505-full.html. Informal enquiries are welcome, and should be directed to Dr Mehrnoosh Sadrzadeh at .

Please note that this newsitem has been archived, and may contain outdated information or links.