Current jobs related to PhD Studentship: Securing Smart Systems via Neural Network Verification - Southampton, Southampton - University of Southampton
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Description:The field of computing is facing a conundrum caused by a clash in two opposing trends: on the one hand, the growth and...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Description:The field of computing is facing a conundrum caused by a clash in two opposing trends: on the one hand, the growth and...
-
Southampton, Southampton, United Kingdom University of South Hampton Full timePostdoctoral Research Fellow in Autonomous Learning at the EdgeWe are seeking a highly skilled Postdoctoral Research Fellow to join our team at the University of South Hampton, working on the EPSRC-funded project Edgy Organism. This exciting project aims to develop novel end-to-end neuromorphic design approaches and efficient hardware architectures based on...
-
Southampton, Southampton, United Kingdom University of South Hampton Full timePostdoctoral Research Fellow in Autonomous Learning at the EdgeWe are seeking a highly skilled Postdoctoral Research Fellow to join our team at the University of South Hampton, working on the EPSRC-funded project Edgy Organism. This exciting project aims to develop novel end-to-end neuromorphic design approaches and efficient hardware architectures based on...
-
Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timeVacancy: PhD in Computer ScienceTitle: Formal Verification of AI InterfacesAdvisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen,...
-
Systems Engineer
3 weeks ago
Southampton, Southampton, United Kingdom Matchtech Full timeJob Title: Apprentice - Engineering SystemsLocation: Flexible (Basildon or Southampton)Duration: 12 monthsRate: £79 per hour (Inside IR35)We are seeking a skilled Systems Engineer to join our client's team in the Defence and Security sector. The successful candidate will be responsible for designing, developing, and integrating network-based security...
-
Systems Engineer
3 weeks ago
Southampton, Southampton, United Kingdom Matchtech Full timeJob Title: Apprentice - Engineering SystemsLocation: Flexible (Basildon or Southampton)Duration: 12 monthsRate: £79 per hour (Inside IR35)We are seeking a skilled Systems Engineer to join our client's team in the Defence and Security sector. The successful candidate will be responsible for designing, developing, and integrating network-based security...
-
Systems Engineer
3 weeks ago
Southampton, Southampton, United Kingdom Matchtech Full timeJob Title: Apprentice - Engineering SystemsLocation: Southampton or Basildon (Hybrid working)Duration: 12 month contractRate: £79ph UMB (Inside IR35)About the Role:We are seeking a skilled Systems Engineer to join our client's team in the Defence and Security sector. The successful candidate will be responsible for designing, developing, and integrating...
-
Systems Engineer
3 weeks ago
Southampton, Southampton, United Kingdom Matchtech Full timeJob Title: Apprentice - Engineering SystemsLocation: Southampton or Basildon (Hybrid working)Duration: 12 month contractRate: £79ph UMB (Inside IR35)About the Role:We are seeking a skilled Systems Engineer to join our client's team in the Defence and Security sector. The successful candidate will be responsible for designing, developing, and integrating...
-
Network Security Architect
20 hours ago
Southampton, Southampton, United Kingdom BT Group Full timeAbout the RoleAs a key member of the BT Group team, you will play a critical role in designing and implementing robust security solutions for our 21CN DCN Network. Your expertise will be instrumental in ensuring the security and integrity of our network, protecting against emerging threats and ensuring compliance with industry standards.Key...
-
Southampton, Southampton, United Kingdom University of Southampton Full timeJob DescriptionThe Computational Engineering and Design (CED) Research Group at the University of Southampton is seeking a highly skilled postdoctoral researcher to join our Flight Dynamics and Control Research Laboratory. As a key member of our team, you will be working under the supervision of Dr Sergio Araujo-Estrada and Prof James Scanlan on the project...
-
Network Interconnect Security Specialist
3 weeks ago
Southampton, Southampton, United Kingdom BT Group Full timeJob Title: Network Interconnect Security SpecialistAt BT Group, we are seeking a highly skilled Network Interconnect Security Specialist to join our team. As a key member of our security team, you will be responsible for ensuring the security of our network interconnects and providing expert advice on security governance and risk mitigation.Key...
-
Network Interconnect Security Specialist
3 weeks ago
Southampton, Southampton, United Kingdom BT Group Full timeJob Title: Network Interconnect Security SpecialistAt BT Group, we are seeking a highly skilled Network Interconnect Security Specialist to join our team. As a key member of our security team, you will be responsible for ensuring the security of our network interconnects and providing expert advice on security governance and risk mitigation.Key...
-
Network Interconnect Security Specialist
3 weeks ago
Southampton, Southampton, United Kingdom BT Group Full timeJob Title: Network Interconnect Security SpecialistAt BT Group, we are seeking a highly skilled Network Interconnect Security Specialist to join our team. As a key member of our security team, you will be responsible for ensuring the security of our network interconnects and providing expert advice on security governance and risk mitigation.Key...
PhD Studentship: Securing Smart Systems via Neural Network Verification
4 months ago
Supervisory Team: Ekaterina Komendantskaya, Erisa Karafili
Project description:
Having robust methods and tools for ensuring safety and security of smart systems is a key to their future development and deployment. The long-term objective of this project is to ensure the security of the AI (neural network) components embedded in smart systems against adversarial attacks.
In this project you will work towards the goal of increasing the level of security for smart systems that rely on NN components. By integrating cutting-edge NN verification methods into smart systems verification, you will discover new ways to make smart systems with NN components more resilient to adversarial attacks.
In this project you will: Our objective is to answer the following concrete research questions:
- Explore the range of vulnerabilities caused by NNs in smart systems;
- Identify the vulnerabilities that can be formalised as NN verification properties;
- Establish the host smart systems verification environments that are required to embed the NN verification properties into CPS verification.
You can find some information about the topic here:
You will join the Cyber Physical Systems Research Group and the Cyber Security Research Group recognised as Academic Centre of Excellence for Cyber Security Research (ACE-CSR) and Education (ACE-CSR), and work with Prof. Ekaterina Komendantskaya and Dr Erisa Karafili.
Funding for this project is offered by the Centre for Doctoral Training in Complex Integrated Systems for Defence & Security (CISDnS), which will recruit motivated and inquisitive candidates across the themes of Digital, Physical and Biological systems to provide a diverse and interconnected cohort training environment. As well as carrying out research training in a world-leading research group, membership of CISDnS will provide the opportunity for you to be exposed and trained to handle the interdisciplinary challenges faced in the real-world via a Systems Thinking approach. You will learn about the wider challenges of research and innovation within the Defence & Security sector.
For further information please get in contact with Prof. Ekaterina Komendantskaya and Dr Erisa Karafili: or for questions related to the CISDnS CDT please email:
Entry Requirements
This PhD studentship requires UK Citizenship. First Honours or 2:1 bachelors or masters degree in Computer Science, Mathematics, Engineering or related areas. We welcome applicants onto the CDT from underrepresented groups.
Closing date: 31st August 2024. Applications will be considered in the order that they are received, the position will be considered filled when a suitable candidate has been identified.
Funding: Full-time studentships will cover UK course fees and an enhanced tax-free stipend of approx. £23,500 per year for 4 years along with a substantial budget for research, travel, and centre activities. A number of studentships are available and will be awarded on a rolling basis, so you are encouraged to apply early for the best opportunity to be considered.
How To Apply
Apply online: Search for a Postgraduate Programme of Study ).
Select programme type (Research), 2024/25, Faculty of Physical Sciences and Engineering, next page select "Integrated PhD in Complex Integrated Systems for Defence and Security "
In Section 2 of the application form you should insert the name of the supervisor Prof. Ekaterina Komendantskaya.
Applications should include:
Curriculum Vitae
Two reference letters
Degree Transcripts/Certificates to date
For further information please contact: feps-pgr-
Enhanced tax-free stipend of approx. £23,500 per year for 4 years along with a substantial budget for research, travel, and centre activities
