Back to search results

PhD Studentship: Software Programming Abstractions for High Assurance Secure System on Chip Devices

University of Bristol - Computer Science

Qualification Type: PhD
Location: Bristol
Funding for: UK Students, EU Students
Funding amount: A minimum £18,800 tax-free stipend per year
Hours: Full Time
Placed On: 27th July 2021
Closes: 17th December 2021

The project:

Modern Industrial IoT devices will offer an emerging set of security capabilities underpinned by innovations in hardware support for introspection, obfuscation, and attestation. These Secure System on Chip (SoC) Devices must communicate with management services which manage device lifecycle using attestation and provisioning services. Secure Device Firmware accesses local and management services through defined secure service APIs and is composed of several packages and libraries. Software programming, maintenance, and assurance throughout the device lifecycle from design inception to retirement requires composition of the modular software, the APIs and their associated integration into software development methods and tools. This needs to be thoughtfully designed to meet the twin objectives of programming effectiveness and improved device assurance across the secure hardware-firmware boundaries.   

The proposed PhD will define metrics for programming, debugging and code maintenance effectiveness together with security assurance and explore the definition and merits of different abstraction mechanisms for their optimisation. The work will be based on a commercially available hardware platform which features an integrated extensible security engine. This will allow new capabilities to be quickly prototyped and evaluated for their potential for integration and deployment into the relevant software developer ecosystem and toolchains. 

URL for further information: https://www.bristol.ac.uk/cdt/cyber-security/ 

How to apply:

Prior to any application, please contact Prof Awais Rashid (awais.rashid@bristol.ac.uk) to discuss your research proposal to see if it aligns with his current research.  No indication of an offer can be made until a completed application has been received. 

To apply for this studentship, submit a PhD application using our online application system [www.bristol.ac.uk/pg-howtoapply] 

Please ensure that in the Funding section you tick “I would like to be considered for a funding award from the Computer Science Department” and specify the title of the scholarship in the “other” box below along with the name of the supervisor.  Interested candidates should apply as soon as possible. 

Candidate requirements: 

Applicants must hold/achieve a minimum of a Master’s degree (or international equivalent) in Computer Science, Software Engineering, Computer Engineering or Electronics Engineering. Applicants without a master’s qualification may be considered on an exceptional basis, provided they hold a first-class undergraduate degree. Please note, acceptance will also depend on evidence of readiness to pursue a research degree.  

Basic skills and knowledge required:

Essential: Excellent analytical skills and experimental acumen.  Strong software development skills especially in languages such as C.

Desirable: A background understanding in one or more of the following:

  • Software for embedded systems
  • Knowledge of hardware security

If English is not your first language, you need to meet this profile level:

Profile E

Further information about English language requirements and profile levels. 

Funding:

This is a fully funded 4-year studentship providing:

  • A minimum £18,800 tax-free stipend per year
  • tuition fees at UK student rates
  • equipment and travel allowance to support research related activities. 

Open to Home (UK) and EU citizens who have confirmation of UK settlement or pre-settlement status under the EU Settlement Scheme.  Applicants must have been ordinarily resident in the UK for at least 3 years prior to the start of the studentship (with some further constraint regarding residence for education). 

For EPSRC funding, students must meet the EPSRC residency requirements

Contacts:  

Informal enquiries please contact Prof Awais Rashid (awais.rashid@bristol.ac.uk)

General enquiries please contact sceem-pgr-admissions@bristol.ac.uk

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

PhD tools
 
 
 
 
More PhDs from University of Bristol

Show all PhDs for this organisation …

More PhDs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge