Formal Verification Contract

Summary: The role of Formal Verification Engineer involves applying formal verification concepts and methodologies to complex micro-architectures on a contract basis. The engineer will develop tailored techniques for exhaustive proofs and deep bug detection while working with advanced verification methods and ASIC design methodologies. Candidates must be based in the UK or EU to be eligible for this contract position.

Key Responsibilities:

• Apply formal verification concepts, methodologies, and tools to complex micro-architectures.
• Develop tailored techniques for exhaustive proofs and deep bug detection.
• Utilize advanced formal verification methods, including abstractions, invariants, and sequential equivalence checking (SEC).
• Work with complex standard bus protocols and associated ABVIP integration.
• Implement ASIC design methodologies, flows, and tools.
• Plan, estimate, and effectively track work progress.

Key Skills:

• Strong understanding of formal verification concepts and methodologies.
• Proven experience in applying formal verification to complex micro-architectures.
• Familiarity with advanced formal verification methods.
• Knowledge of complex standard bus protocols.
• Practical experience with ASIC design methodologies and tools.
• Understanding of GPU and/or CPU architectures (preferred).
• Familiarity with industry-standard bus protocols (e.g., AMBA5 CHI, AMBA4 ACE, AXI).
• Experience with broader verification methodologies such as UVM.
• Knowledge of scripting languages and/or C/SystemC.
• Awareness of functional safety standards such as ISO 26262.

Salary (Rate): undetermined

City: undetermined

Country: United Kingdom

Working Arrangements: undetermined

IR35 Status: undetermined

Seniority Level: undetermined

Industry: Other