1 of 1 Model Validation Jobs in Belfast

research, and product teams. Research, design, develop, and implement architecture solutions for integrating formal verification for security features into networking products. Architectural modeling and validation, following standards bodies. Work with customers and partners to identify and address security issues and threats. What We Need … Science, or Computer Engineering, or equivalent experience. 5+ years of proven experience. Background in formal verification methods, in at least one of the following: model writing, bounded and unbounded model checking, and symbolic execution. Programming and debugging fundamentals across languages such as Python, ARM assembly, and C/ ...