Formal Verification Engineer

Formal Verification Engineer (Remote)

Client: Google HPC Program Location: Remote (with occasional travel to London) Salary: £75,000 – £80,000 per annum Type: Permanent

The Opportunity

Are you passionate about using formal verification to ensure the functional correctness of complex digital ASIC designs? We are looking for a Formal Verification Engineer to join a dynamic team working on a cutting-edge Google HPC program. This role offers the chance to work on sophisticated chiplet-based designs featuring multi-processors and high-speed I/Os.

The Role

In this position, you will work closely with RTL and DV teams to ensure the correctness and completeness of next-generation hardware. Your focus will be on applying advanced formal techniques to identify critical bugs and achieve coverage closure.

Key Responsibilities:

• Property Development: Design and optimize SystemVerilog Assertions (SVA) and formal properties.

• Multi-Level Verification: Execute formal verification at block, subsystem, and full-chip levels.

• Proof Management: Create abstractions, assumptions, and constraints to facilitate proofs; identify dead code, unreachable coverage, and vacuous proofs.

• Debugging: Analyze counterexamples and proof failures using industry-standard tools (JasperGold, VC Formal, or Questa Formal).

• Collaboration: Partner with design and verification teams to reach total coverage closure.

Requirements

Core Qualifications:

• Education: BSc or MSc in Electronic Engineering, Computer Science, Mathematics, Physics, or a related field.

• Experience: Minimum 5+ years of relevant experience in digital design and formal methodologies.

• Technical Mastery: Strong knowledge of SystemVerilog/Verilog and proficiency in SVA (PSL is a plus).

• Tooling: Hands-on experience with at least one major formal tool (JasperGold, VC Formal, or Questa Formal).

Preferred Skills:

• Experience with Semiconductor HPC or complex SoC designs.

• Knowledge of protocols such as AXI, CPU, DSP, DDR, PCIe, or HBM.

• Familiarity with UVM and simulation-based flows.

• Proficiency in scripting (Python, TCL, or Perl).

Soft Skills

• A proactive, self-driven approach to complex problem-solving.

• Strong analytical mindset with meticulous attention to detail.

• Excellent technical communication and collaborative skills.

Apply Now

If you are ready to contribute to high-performance computing innovation, please send your CV to tee@microtech-global.com to start a conversation.

SUMMARY

• Company Name – microTECH Global
  Company website –microTECH Global
  Company Location – London, United Kingdom 

  For more jobs – Click Here