Fully funded University Ph.D. studentship in University of Teesside, UK

University of Teesside

Fully funded University Ph.D. studentship (3 years) Ref: QinOCT11

Applications are invited for a Ph.D. student to work on program analysis and
software verification or a closely related topic under the supervision of Dr.
Shengchao Qin in the School of Computing in Teesside University.

Dr. Qin currently has a number of postdoc and Ph.D students in his research group.
Prospective candidates must have (or expect to have) at least a good honours
degree in Computer Science or closely related subjects at grade 2:1 or
equivalent or higher. 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 (£13,590 p.a. for 2011/12) and full student tuition fees for three years. The
successful candidate is expected to start on October 3 2011.

More information can be obtained by contacting Dr Shengchao Qin at
s.qin@tees.ac.uk, or by visiting http://www.scm.tees.ac.uk/s.qin.

For an application form, applicants should contact
graduateresearchschool@tees.ac.uk. Applicants are expected to return their
application form plus a CV, a research proposal, their degree certificates
and academic transcripts by the following deadline (to
graduateresearchschool@tees.ac.uk and copy to Dr Qin):

Deadline for application: 13 May 2011. The selection process will start shortly
after the deadline and be completed in May.

Hi Guanhua,

This is completely off-topic for this mailing list. Please restrain yourself to discussing llvm related topics here. If a job post is relevant to LLVM, please make sure that you explicitly explain how.

I’m switching your future posts to require human moderation, thanks.