Remote Jobs Now
Cirrus

Senior Formal Verification Engineer (CH-64001149)

Who can apply: Only open to applicants in: Texas.
Location as listed by the employer: “Austin, Texas”
Apply on Cirrus's site ↗

Opens the employer's official application page.

Generate a CV for this job

A CV tailored to this job's requirements in one click — boosted with testimonials from people who know your work.

Generate my CV

About this role

Cirrus is hiring for a Senior Formal Verification Engineer (CH-64001149) role (full-time). See the official posting for full details.

Requirements

  • Master's degree in Electrical or Computer Engineering with 8+ years or PhD in Electrical or Computer Engineering with 5 +years of formal verification experience.
  • Proven expertise in designing and implementing formal verification environments for complex IP/module-level designs.
  • Demonstrated ability to lead and drive the verification process from inception to completion.
  • Excellent communication skills and a collaborative approach to working with team members.
  • Proficiency in System Verilog, UVM, or equivalent methodologies.
  • Familiarity with scripting languages such as Python, Perl, TCL, Bash.
  • Expertise in formal property languages, with SVA knowledge.
  • Experience in property-based model-checking.

Summarized from the employer's posting — check the full posting for every requirement.