
Managing Consultant - Safety
- London
- Permanent
- Full-time
- Software, HDL and system analysis & modelling: We analyse and model software-based and FPGA-based systems using various techniques. The analysis may be based on design documentation as well as on the source code. We apply modern analysis techniques to real world software systems. The techniques include formal methods, model checking, dynamic analysis, static analysis (control and data flow, semantic analysis, integrity and concurrency analysis) as well as statistical analysis of field data and a variety of testing techniques. The work involves both the engineering of tools as well as their application.
- Safety and security assessment: We contribute to the assurance of our clients’ projects by assisting with hazard analysis, assessing safety-critical systems and devices, providing independent advice, and reviewing a wide range of safety, assurance, and security cases. We assess the behaviour of some of the interesting and important computer-based systems in operation today.
- Standards and regulations: We harness our expertise in technology and safety-critical domains to write and inform standards and regulations, as well as help our clients understand and demonstrate compliance with a variety of international standards.
- Research: We research ways of building safety and assurance cases that are valid and believable, using techniques from graphical languages to logic. We are also at the leading edge of research in software analysis techniques, and we put our research into practice.
- Software development: We have a market leading safety case product ASCE that will continue to evolve and our analysis and research involves the building of bespoke tools, plug-ins and models.
- Focusing on Clients and Customers.
- Working as one NCC.
- Always Learning.
- Being Inclusive and respectful.
- Delivering brilliantly.
- Pension
- Life Assurance
- Share Save Scheme
- Maternity & Paternity leave