Applications are invited for a Ph.D. student to work on program analysis and software verification under the supervision of Dr. Shengchao Qin in the School of Computing in Teesside University. Dr Qin is currently a Reader in Computer Science and leads a research group with one postdoc and a number of Ph.D students.
Prospective candidates must have (or expect to have) a good honours (or equivalent) degree in Computer Science or closely related subjects. The studentship requires good background knowledge in most of the following areas: logic and discrete mathematics related to computer science; computer-aided verification; compilers; and program analysis. Strong programming skills will also be essential for the studentship.
This fully funded studentship provides a tax-free living allowance at the standard rate (L13,590 p.a. for 10/11) and full tuition fees and is open to international candidates.
The successful candidate is expected to start on 10th January 2011.
Informal enquiries about the scholarship should be sent to Dr Shengchao Qin at s.qin@tees.ac.uk . Alternatively, you can obtain more information by visiting Dr Qin’s homepage at http://www.scm.tees.ac.uk/s.qin.
Deadline of application: 25 October 2010. The selection process will start shortly after the deadline and be completed in early November.
Applicants will need to contact the Graduate Research School at graduateresearchschool@tees.ac.uk to obtain an application form. Applicants are expected to return by email the completed application form plus a research proposal, a CV, their degree certificates and academic transcripts to graduateresearchschool@tees.ac.uk and copy to Dr. Qin at s.qin@tees.ac.uk by the above deadline.
Ph.D. Studentship Program Analysis and Software Verification for International Student
