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/756c9c2f13a3c88780256cce0043e74...