Applications are invited for an EPSRC-funded PhD studentship in Computing Science, starting in September 2000. The student will be supervised by Dr Savi Maharaj and will work on a project titled "Test Case Extraction from Correctness Proofs". This project comprises a variety of activities ranging from theoretical analysis to practical software implementation. Mr Stuart Anderson of the Division of Informatics, the University of Edinburgh is co-investigator on the project.
For further information please use the links below or contact Dr Savi Maharaj, Department of Computing Science and Mathematics, University of Stirling, Stirling, FK9 4LA; Telephone 01786 467431; Email: savi@cs.stir.ac.uk