The post is available for a fixed term of one year, in the first
instance, to join the Software Analysis research team led by
Dr Patricia M. Hill [1] in the School of Computing [2],
University of Leeds [3], UK.
A substantial part of the job concerns the development and maintenance
of the Parma Polyhedra Library, a library for the manipulation of
numerical abstraction used in static program analysis and automated
program verification.
The ideal candidate should have a good degree in Computer Science or
related subject with excellent programming skills and some expertise
in C++. Some knowledge about static program analysis and convex
polyhedra would also be useful.
See the official advert [4] for more information.
[1] http://www.comp.leeds.ac.uk/hill/
[2] http://www.comp.leeds.ac.uk/
[3] http://www.leeds.ac.uk/
[4] http://wwwnotes2.leeds.ac.uk/jobs/unijob.nsf/756c9c2f13a3c88780256cce0043e7…
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
