ASIC Formal Verification engineer

Requirements:
We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units. Responsibilities:
Understand high-level specifications and detailed requirements for application processor design logical units.
Collaborate with cross functional teams such as architecture, design, and software teams on formal verification planning.
Formal Verification expert to lead all formal activities for a new RISC-V application processor. Required Skills and Experience:
BSc. in Electrical and/or Computer Engineering
At least 6 years of experience with RTL ASIC verification, specializing in Formal verification.
Knowledge and experience in one of the following: CPU, RISC-V architecture, micro-controllers, memory and cache controllers is an advantage.
Experience with Verilog, system Verilog, SVA.
Able to express complex concepts in fluent technical English.