[isabelle] Ph.D. Studentship at University of Teesside, UK
SCHOOL OF COMPUTING
University of Teesside
Fully Funded University Ph.D. Studentship (3 years)
Applications are invited for a Ph.D. student to work in the research area
of formal methods and software verification under the supervision of
Professor Shengchao Qin in the School of Computing in Teesside University.
Prof. Qin is affiliated with the Teesside Formal Methods and Programming
Research Group (TFMPRG) and has been supervising a number of research
associate and Ph.D students.
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, compilers, program analysis and software
verification. Strong programming skills will also be essential for the
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 1
More information can be obtained by contacting Prof. 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
Deadline for application: 8 March 2012. The selection process will start
shortly after the deadline and be completed in March.
This archive was generated by a fusion of
Pipermail (Mailman edition) and