Postdoctoral Researcher in Formal Verification

[Michael Fisher]

Please could you forward this to anyone you think might
be interested? Thanks - Michael

------------------------------------------------------------------------------

               Postdoctoral Research Associate in
           FORMAL VERIFICATION OF AUTONOMOUS SYSTEMS

    Department of Computer Science, University of Liverpool, UK

                     [ Job Ref: R-585918 ]

  A post-doctoral research position of up to 42 months is available
  from September 2014 to work in the Logic and Computation group at
  the University of Liverpool, under the direction of Prof. Michael
  Fisher. The post is part of a new EPSRC-funded research project,
  "Verifiable Autonomy", involving collaboration with both Bristol
  Robotics Lab and the University of Sheffield. The researcher will
  develop, extend and apply formal verification techniques for
  autonomous systems, and candidates should have a PhD in Computer
  Science or Mathematics, with relevant research expertise in formal
  verification, logic, and the theory or development of model-checking.

  Salary in range £31,644-£36,661 per annum.

  Closing date for applications: 27th June 2014.

  For further details, and application procedure, see:

  http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-585918

Professor Michael Fisher: http://intranet.csc.liv.ac.uk/~michael
Logic & Computation Group: http://intranet.csc.liv.ac.uk/research/logics
Centre for Autonomous Systems Technology: http://www.liv.ac.uk/cast

------------------------------------------------------------------------------