[TYPES/announce] advertising a logic-application postdoc at CS Oxford

Mehrnoosh Sadrzadeh mehrs at cs.ox.ac.uk
Tue Jun 26 17:14:14 EDT 2012


> Postdoctoral Research Assistant - Logic for Autonomous Systems
> Department of Computer Science, University of Oxford
>
> Salary in range £29,249-£35,938 per annum (grade 7)
>
> 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
> lifecycle: 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 - of particular
> relevance are formalisms such as:
>
> - Modal and Epistemic Logics
> - Dynamic Program Logics
> - Probabilistic and Fuzzy logics
>
> Preference will be given to researchers with experience in modelling
> and reasoning about epistemic properties of protocols of communicative
> Multi-Agent Systems.
>
> The researcher will work closely with Dr Mehrnoosh Sadrzadeh and
> Professor Michael Wooldridge, and will also be expected to interact
> with Professor Daniel Kroening and his team working on the UAV and
> verification aspects of the project in order to derive requirements
> and case studies.
>
> Informal enquiries are welcome, and should be directed to
> Dr Sadrzadeh (mailto:Mehrnoosh.Sadrzadeh at cs.ox.ac.uk).
>
> This post is a full-time appointment, and is available for up to 3
> years.
>
> Closing date for applications: **12 noon on Monday 30 July 2012**
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120626/7301cac6/attachment-0001.html>


More information about the Types-announce mailing list