Responsibilities:
- Develop and enhance formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal.
- Mentor engineers in formal verification, developing their talents and understanding of formal techniques and application of formal methodologies.
- Support, and where necessary coach, the verification team to follow, and improve, defined methodology practices.
- Develop test plans and verification methodologies to verify the microarchitecture and design.
- Perform failure analysis and resolution, coverage analysis, and population.
- Implement and improve functional verification.
Required Skills and Qualifications:
- 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.
- Knowledgeable in Signal Processing, analog and digital design fundamentals.
Skills Required
- Master's in Electrical or Computer Engineering with 8+ years formal verification experience, or PhD with 5+ years
- Proven expertise 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 collaborative approach
- Proficiency in SystemVerilog and UVM or equivalent verification methodologies
- Familiarity with scripting languages such as Python, Perl, TCL, Bash
- Expertise in formal property languages, with knowledge of SVA
- Experience in property-based model-checking
- Knowledge of signal processing, analog and digital design fundamentals
Cirrus Logic Compensation & Benefits Highlights
The following summarizes recurring compensation and benefits themes identified from responses generated by popular LLMs to common candidate questions about Cirrus Logic and has not been reviewed or approved by Cirrus Logic.
-
Healthcare Strength — Healthcare includes multiple medical, dental and vision options, mental‑health resources, wellness programs, and access to an on‑site clinic in Austin. Feedback suggests these offerings underpin strong total‑rewards sentiment.
-
Parental & Family Support — Programs span paid parental leave, fertility/adoption/surrogacy coverage, backup/dependent‑care supports, and a structured flex return. Feedback suggests family‑building depth is a notable strength of the package.
-
Strong & Reliable Incentives — Compensation design features semiannual performance bonuses, profit‑sharing, and recognition awards that augment base pay. Feedback suggests these incentives help maintain competitive total compensation in key engineering roles.
Cirrus Logic Insights
What We Do
Cirrus Logic is a leading supplier of low-power, high-precision mixed-signal processing solutions for mobile and consumer applications. The company has a robust portfolio of sophisticated low-power products, including boosted amplifiers, smart codecs, camera controllers, haptic driver and sensing solutions, power conversion and control Integrated Circuits, and fast-charging Integrated Circuits. These solutions have innovative technology, software and associated algorithms incorporated. With a strong intellectual property portfolio and extensive mixed-signal expertise, Cirrus Logic is well-positioned to drive innovation and growth in the evolving markets of audio and high-performance mixed-signal processing technologies. We are hiring like crazy! Please visit our careers portal at cirrus.jobs to check out our available openings!
Why Work With Us
Engineering drives our company, and innovation isn’t just encouraged – it’s expected! This is a culture where you get to work with some of the largest, most innovative customers and products on the planet on a daily basis and where everyone is a key contributor to the company’s success. There are no Miltons here!
Gallery
