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

Guanhua He proguan at gmail.com
Tue Apr 19 01:40:15 PDT 2011

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
software verification or a closely related topic under the supervision of
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
Prospective candidates must have (or expect to have) at least a good
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
science, computer-aided verification, compilers, and program analysis.
programming skills will also be essential for the studentship.

This fully funded studentship provides a tax-free living allowance at the
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 at tees.ac.uk, or by visiting http://www.scm.tees.ac.uk/s.qin.

For an application form, applicants should contact
graduateresearchschool at 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 at tees.ac.uk and copy to Dr Qin):

Deadline for application:  13 May 2011. The selection process will start
after the deadline and be completed in May.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110419/58099270/attachment.html>

More information about the llvm-dev mailing list