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
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
