Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Ph.D. Studentship at University of Teesside, UK


view this post on Zulip Email Gateway (Aug 18 2022 at 19:07):

From: Florin Craciun <craciunf@googlemail.com>
SCHOOL OF COMPUTING
University of Teesside

Fully Funded University Ph.D. Studentship (3 years)
Ref: QinFeb12

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
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 1
2012.

More information can be obtained by contacting Prof. 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
Professor Qin):

Deadline for application: 8 March 2012. The selection process will start
shortly after the deadline and be completed in March.


Last updated: Mar 29 2024 at 04:18 UTC