UNIVERSITY OF DURHAM DEPARTMENT OF COMPUTER SCIENCE
EPSRC funded Ph.D. studentship (3.5 years) Applications are invited for a Ph.D. student to work on an EPSRC funded project entitled "resource analysis and verification for dependable embedded software" in the Department of Computer Science. The aim of the project is to build a resource (memory and time) analysis and verification system for object-oriented programs running in embedded devices. Prospective candidates will have a good honours (or equivalent) degree in Computer Science or other relevant topics. The successful applicant should have a good background in some of the following areas: program analysis, type system/theory, software verification, embedded systems. This fully funded studentship provides a tax-free living allowance at the standard EPSRC rate (0512,300 p.a. for 06/07) and student tuition fees at the UK/EU student rate. Overseas applicants may have to sort out tuition fee difference via other means. The studentship is expected to start in January 2007, or as soon as possible thereafter. Closing date: 1 December 2006 More specific details about the project can by obtained by contacting Dr Shengchao Qin at [EMAIL PROTECTED] Applications should be sent to Dr S Qin, Computer Science Department, Durham University, Science Labs, South Road, Durham, DH1 3LE, United Kingdom. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
