Senior Consultant
London, United Kingdom
NCC Group
and other leading national and international infrastructure providers. Summary: The role will include work and exposure across the following areas: 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 … 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 More ❯
Employment Type: Permanent
Salary: GBP Annual
Posted: