PhD student position on "Graphs for Abstract Interpretation of Language" (GrAIL), Twente (The Netherlands)

To carry out the recently awarded Dutch (NWO) research project entitled "Graphs for Abstract Interpretation of Languages" (GRAIL), we are offering a position for a PhD student (fully funded) for a period of four years. The project takes place at the Formal Methods and Tools chair of the University of Twente. Project leader is Dr. Arend Rensink.

In the project we investigate a new way of automatically verifying software on the basis of code, without assuming a predefined model. The technique used is static analysis, a general principle that encompasses typing; the new aspect is the use of graph transformations to capture the effect of the software. Graphs offer a natural model for the behaviour of dynamic software systems, and at the same time offer the basis for a generic form of static analysis, which can be driven by the properties to be verified.

All applications must be received at or before 30 November 2007. For more information, see http://www.utwente.nl/vacatures/vacatures_externe_werving/07-183.doc/ or the project proposal at http://www.cs.utwente.nl/~rensink/projects/grail.pdf Or contact Dr.ir. Arend Rensink, at rensink at cs.utwente.nl.