International PhD Scholarships in Verification of Hyperproperties, UK

  •  PhD
  •  Applications are accepted all year round
  •   United Kingdom
  • $$  £15,609

To recognize the academic achievements of students, the University of Sheffield is providing the PhD Scholarships in Logical Approach to Verification of Hyperproperties.

The goal of this project is to develop the theory of team-based logic for hyperproperties. The concrete direction the student takes is quite flexible.

Also you can: Provide your recommendations

The University of Sheffield Information

The University of Sheffield Grants

International PhD Scholarships in Verification of Hyperproperties, UK Founded in 1905, The University of Sheffield is a non-profit public higher education institution located in the urban setting of the medium-sized city of Sheffield (population range of 500,000-1,000,000 inhabitants), Yorkshire and the Humber. Officially accredited and/or recognized by the Privy Council, The University of Sheffield is a large (uniRank enrollment range: 25,000-29,999 students) coeducational higher education institution. The University of Sheffield offers courses and programs leading to officially recognized higher education degrees such as bachelor degrees in several areas of study. See the uniRank degree levels and areas of study matrix below for further details. International students are welcome to apply for enrollment.

Eligibility Criteria

  • Eligible Countries: All nationalities
  • Eligible Course or Subjects: PhD degree in Logical approach to verification of hyperproperties
  • Eligibility Criteria: To be eligible, the applicants must meet all the given criteria:
  • Candidates with exceptional undergraduate Honours degrees are also considered. The project requires a good understanding of logic, and the willingness to learn the necessary mathematical background in computational complexity theory.
↪   Follow us on Facebook

Offered Benefits

The university will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UK rate (currently £15,609 for 2021/22) for three and a half years. International students are eligible to apply, however will have to pay the difference between the UK and overseas tuition fees.

Application Process

  • How to Apply: To apply for the studentship, applicants need to apply directly to the University of Sheffield using the online application system. Please name Dr. Jonni Virtema as your proposed supervisor.
  • Supporting Documents: Applicants should include a research proposal, CV, transcripts, and two references. The research proposal (up to 4 A4 pages, including references) should outline your reasons for applying for this scholarship and how you would approach the research, including details of your skills and experience in logic and complexity theory.
  • Admission Requirements: Applicants should hold a very good degree (preferably a master’s) in a relevant subject (i.e., Logic, Computer Science, or Mathematics).
  • Language Requirement: If English is not your first language, you must have an IELTS score of 6.5 overall, with no less than 6.0 in each component.
Apply Here
Get more Opportunities like this >
If you think this scholarship can be helpful to somebody else, please share:

Subscribe for Scholarship Updates

Get a weekly email that thousands of students use to get the latest scholarships and grants.

** Scholarships.plus will not share your details without your permission.

Like our website? Follow us on Facebook

More Suggestions: