1 of 1 Remote Hazard Analysis Jobs in Manchester

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, including formal methods, model checking, dynamic analysis, static analysis (control and data flow, semantic analysis, integrity and concurrency analysis), and statistical analysis of field data. Safety and security assessment: We contribute to the assurance of our clients’ projects by assisting with hazard analysis, assessing safety-critical systems, providing independent advice, and reviewing a wide range of safety, assurance, and security cases. 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 More ❯