The position is available for a fixed term of two years to join the Formal Methods research team led by Prof. Roberto Bagnara [1] in the Department of Mathematics [2], University of Parma [3], Italy.

A substantial part of the job concerns the research and development of analysis and verification techniques and tools based on the Parma Polyhedra Library and on PURRS [4], a system providing sophisticated computer algebra services required by automatic complexity analysis. Enhancements to both the PPL and PURRS are among the results that are expected from this line of work.

See the official advert [5] for more information (the deadline for applications is March 18th, 2004).

[1] http://www.cs.unipr.it/~bagnara/ [2] http://www.math.unipr.it/ [3] http://www.unipr.it/ [4] http://www.cs.unipr.it/purrs/ [5] http://www.unipr.it/arpa/setpersd/050217-BANDO3ASS-SCIENZE.htm