|
|
 | | From: | Roberto Bagnara | | Subject: | Computer officer wanted for the development of a library supporting | | Date: | Mon, 15 Nov 2004 11:26:14 GMT |
|
|
 |
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@cs.unipr.it
|
|
|
