Skip to content
Study

Study

Scholarship opportunities

  • Home
  • Admission
  • Internship
  • Scholarship
  • Travel & Tour
  • Work Abroad
  • Jobs In 2023
  • Home
  • Scholarship
  • Computer Science: Fully Funded EPSRC and Siemens PhD Scholarship at Swansea University

Computer Science: Fully Funded EPSRC and Siemens PhD Scholarship at Swansea University

Posted on By Scholar No Comments on Computer Science: Fully Funded EPSRC and Siemens PhD Scholarship at Swansea University
Admission, Scholarship

Computer Science: Fully Funded EPSRC and Siemens PhD Scholarship: Proof checking for SMT-solving and its application in the railway domain

Funding providers: Engineering and Physical Sciences Research Council (EPSRC) Doctoral Training Partnership (DTP) and Siemens

Subject areas: Computer Science

Project start date:

  • 1 October 2022 (Enrolment open from mid-September); or
  • 1 January 2023

Project supervisors:

  • Dr Monika Seisenberger
  • Dr Anton Setzer

Aligned programme of study: PhD in Computer Science

Mode of study: Full-time

Project description:

Satisfiability-modulo-theory (SMT) solvers are state-of-the-art tools for verifying computer programs and are applied in Industry as part of quality assurance processes. They do this in a formal approach for solving problems using a set of theories and a search algorithm to prove the correctness of software. One deficiency of SMT-solving is that there is no standardised format for SMT-proofs and therefore no standard approach to checking their validity. Conversely, SAT-solvers (which SMT-solvers are based on) are more mature and have such a standardised proof checking approach; therefore one can envisage a similar strategy for SMT-solving. The proposed PhD-project aims to build such a checker and conduct industrial case-studies, together with Siemens. Siemens is interested in applying SMT-solving to the design and verification of highly complex Railway control systems. The combination of SMT-solving and proof checking will lead to improvements of both, efficiency and robustness, and will produce a highly reliable verification solution that can replace and improve more traditional forms of verification and testing. Thus, utilizing proof-checked SMT-solving will reduce system development time and thus save resources and at the same time increase integrity.

Eligibility

Candidates must normally hold an undergraduate degree at 2.1 level in Computer Science, Mathematics or a closely related discipline, or an appropriate master’s degree with a minimum overall grade at ‘Merit’ (or Non-UK equivalent as defined by Swansea University).

English Language requirements: If applicable – IELTS 6.5 overall (with at least 6.0 in each individual component) or Swansea recognised equivalent.

This scholarship is open to candidates of any nationality.

Benefits

This scholarship covers the full cost of tuition fees and an annual stipend of £16,062.

Additional research expenses will also be available.

Application

Please visit our website for more information.

Apply Now

Post navigation

❮ Previous Post: Materials Engineering: Fully Funded EPSRC ICASE PHD Scholarship Swansea Uni
Next Post: SEMPER SOLARIS ❯

You may also like

Admission
Tongarewa Scholarship at Victoria University of Wellington
Scholarship
University of Arizona 2023 Global Wildcat Awards for Undergraduate Students
Scholarship
List of Scholarships for International Students
Admission
The Deutschlandstipendium at German Universities

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

About This Site

DISCLAIMER © newhitzgh.com: Unless specified, Newhitzgh is not in any way affiliated with any of the sponsorship providers featured in this website. The material provided here is solely for informational purposes. Visitors are advised to use the information at their own discretion.

Search

  • Home
  • Blog
  • Facebook
  • Twitter
  • Instagram

Copyright © 2023 Study.

Theme: Oceanly News by ScriptsTown