Computer Science: Fully Funded EPSRC and Siemens PhD Scholarship: Proof checking for SMT-solving and its application in the railway domain. The scholarship involved full tuition fee with monthly stipend available for PhD runner alone. The end date for the application is 24 August 2022
Scholarship Details
Funding providers: Engineering and Physical Sciences Research Council (EPSRC) Doctoral Training Partnership (DTP) and Siemens
Subject areas:Â Computer Science
PASS 2024 UTME WITHOUT STRESS:- 👉 DOWNLOAD and PRACTICE with 2023 UTME CBT APP 📱👈
CLICK to DOWNLOAD NOW.:- 👉 PASS Your POST UTME by Downloading Your School's Post UTME Past Questions and Answers 📱👈
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.
Funding
This scholarship covers the full cost of tuition fees and an annual stipend of £16,062.
Additional research expenses will also be available.
How to Apply
To apply, please complete your application online with the following information:
- Course choice – please select Computer Science / PhD / Full-time / 3 Year / OctoberIn the event you have already applied for the above programme previously, the application system may issue a warning notice and prevent application, in this event, please email [email protected]
- Start year – please select 2022
- Funding (page 8) –
- ‘Are you funding your studies yourself?’ – please select No
- ‘Name of Individual or organisation providing funds for study’ – please enter ‘RS149 – PhD Comp Sci’
*It is the responsibility of the applicant to list the above information accurately when applying, please note that applications received without the above information listed will not be considered for the scholarship award.
One application is required per individual Swansea University led research scholarship award; applications cannot be considered listing multiple Swansea University led research scholarship awards.
As part of your online application, you MUST upload the following documents (please do not send these via email):
- Equality, Diversity and Inclusion (EDI) Monitoring Form (online form)
- CV
- Degree certificates and transcripts (if you are currently studying for a degree, screenshots of your grades to date are sufficient)
- A cover letter including a ‘Supplementary Personal Statement’ to explain why the position particularly matches your skills and experience and how you choose to develop the project.
- Two references (academic or previous employer) on headed paper or using the Swansea University reference form. Please note that we are not able to accept references received citing private email accounts, e.g. Hotmail. Referees should cite their employment email address for verification of reference.
- Evidence of meeting English Language requirement (if applicable).
- Copy of UK resident visa (if applicable)
For enquiries, please contact Dr Monika Seisenberger ([email protected]) / Dr Anton Setzer ([email protected]).
*External Partner Application Data Sharing – Please not that as part of the scholarship application selection process, application data sharing may occur with external partners outside of the University, when joint/co- funding of a scholarship project is appli
WISH TO STUDY & LIVE in UK?:- STUDY, WORK AND LIVE IN the UK Application Form NOW OUT. Call 08030447894
