[Haskell] Ph.D. Studentship at University of Teesside, UK

Florin Craciun craciunf at googlemail.com
Sat Feb 11 16:59:40 CET 2012

 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

 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
 Professor Qin):

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

More information about the Haskell mailing list