PhD Fellowship on Formal Methods and Computer Algebra, Johannes Kepler University,
We propose research on a semantic framework and supporting tools for the
formal specification of computer algebra software written in statically untyped programming languages for the manipulation of expressions as they are used in the major computer algebra systems today. The focus of the work is to apply formal methods, rather than for verifying the correctness of the software, for finding and avoiding internal inconsistencies, in particular violations of method preconditions, which are typical indications of errors in the software (or at least of a lack of understanding of the developer).
Supervisor: Prof. Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria
In the frame of a newly established doctoral program for computational mathematics, we can offer to students with a master degree in computer science or mathematics a three years PhD fellowship (October 2008- September 2011) in the area of “formal methods and computer algebra”, see
http://www.dk-compmath.jku.at/projects/schreiner/
Net salary (after taxes) is about 17700 € per year
For more details and applications forms see: http://www.dk-compmath.jku.at/application
Deadline for application: June 30, 2008
Further questions can be directly addressed to: Wolfgang.Schreiner@isc.uni-linz.ac.at
Category: Austria, Postgraduate-PhD
