PhD position on Graph-Based Abstract Interpretation at the University of Twente
PhD on Graph-Based Abstract Interpretation
PhD position at the University of Twente on Graph-Based Abstract Interpretation 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.
Deadline for applications: December 15th, 2007
Project […]