[PPL-announce] PPL position available

[Roberto Bagnara]

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/756c9c2f13a3c88780256cce0043e747/548b03db0246ee5480256f420058ffb4?OpenDocument

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it