Home » International Scholarships for Students » PhD International Scholarships in Logical Approach to Verification of Hyperproperties, UK

PhD International Scholarships in Logical Approach to Verification of Hyperproperties, UK

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.

  • Award
  • Application Process
  • Clarity of Information


Amazing chance to get financial assistance in the UK.

User Review
0 (0 votes)

The University of Sheffield, founded in 1905, is a public research university in Sheffield, South Yorkshire, England. It is one of the top ten UK universities in terms of research grant funding, and it has risen to first place in terms of income and investment in engineering research.

Why study at the University of Sheffield? Their teachers will provide you with the extra push you require to reach your full potential. You will be prepared to work in ways that address the environmental challenges we face here.

Application Deadline: Applications are accepted all year round

Brief Description

  • University or Organization: University of Sheffield
  • Department: NA
  • Course Level: PhD
  • Award: £15,609
  • Number of Awards: NA
  • Access Mode: Online
  • Nationality: International
  • The award can be taken in the UK


  • 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.

How to Apply

  • 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.


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.

Apply Now