1 of 1 Hazard Analysis Jobs in Gloucestershire

as well as government agencies 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 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 More ❯