Senior Formal Verification Architect — RTL & Model Checking

Intel; Penang; On-site; MYR 100,000 - 150,000; Full time

Job summary

A leading technology company in Penang seeks an experienced individual to conduct verification of IP and SoC microarchitecture using formal verification tools and methodologies. The ideal candidate will have a strong background in RTL languages and formal verification principles. This role requires collaboration with architects and design teams to improve verification of complex features. Candidates should hold a relevant degree with significant experience, and familiarity with advanced verification techniques is essential. The position requires on-site presence.

Qualifications

• Experience in RTL languages like SystemVerilog or VHDL.
• Knowledge of model checking and formal verification principles.
• Understanding of computer architecture and digital design.

Responsibilities

• Conduct verification of IP and SoC microarchitecture.
• Develop and review formal proofs for verification plans.
• Collaborate with architects and design teams.

Skills

RTL languages (SystemVerilog or VHDL)

Formal verification

Model checking

Formal assertion writing

Computer architecture

Education

Bachelor's Degree with 9 years relevant experience

Master's Degree with 6 years

PhD with 4 years

Job description

A leading technology company in Penang seeks an experienced individual to conduct verification of IP and SoC microarchitecture using formal verification tools and methodologies. The ideal candidate will have a strong background in RTL languages and formal verification principles. This role requires collaboration with architects and design teams to improve verification of complex features. Candidates should hold a relevant degree with significant experience, and familiarity with advanced verification techniques is essential. The position requires on-site presence.