[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



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

Reply via email to