Formal Verification Engineer

B.Sc in Electrical or Computer Engineering or Computer Science is required
Advanced knowledge of digital logic design.
Must have done formal property proofs on several blocks
Solid understanding of formal verification technologies and abstraction techniques.
Knowledge and experience in interpreting hardware specifications and
using temporal logic assertion-based languages.