Sr. Staff Formal Verification Engineer (CH-TBD) jobs in United States
cer-icon
Apply on Employer Site
company-logo

Cirrus Logic · 15 hours ago

Sr. Staff Formal Verification Engineer (CH-TBD)

positionAustin, TX
timeFull-time
remoteHybrid
senioritySenior Level, Lead/Staff
date5+ years exp

Cirrus Logic has been propelled by top engineers in mixed-signal processing, known for its award-winning culture. They are seeking an experienced Formal Verification Engineer to develop and support advanced verification techniques for audio and mixed-signal devices.

Enterprise SoftwareReal TimeSoftwareSpeech Recognition
badNo H1BnoteU.S. Citizen Onlynote

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

Qualification

Formal verification experienceSystem VerilogUVMScripting languagesFormal property languagesSignal Processing knowledgeCommunication skillsCollaborative approach

Required

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

Company

Cirrus Logic

twittertwittertwitter
Glassdoor4.0
company-logo
Cirrus Logic is an industry leader in low-power audio and high-performance mixed-signal processing technology that creates immersive user experiences for the world’s top mobile and consumer applications.
dateFounded in 2012
location
Austin, Texas, USA
people-size1001-5000 employees
web-link
https://cirrus.com/

Funding

Current Stage
Late Stage
Total Funding
$5.8M
2017-04-01Acquired
2016-02-11Debt Financing· $0.23M
2015-03-24Series Unknown· $0.58M

Leadership Team

leader-logo
Melissa Miccichi PHR, SHRM-CP
Senior HR Business Partner
linkedin

Recent News

Cointelegraph
Y Combinator and Coinbase Venture backed Cypher Protocol unlocks on-chain payments and rewards to the mainstream
2025-10-09
The Block Crypto
Cypher Protocol contributor admits to taking and gambling funds recovered from exploit
2024-05-18
TechCrunch
Cypher’s inventory drone launches from an autonomous mobile robot base
2024-03-13
Company data provided by crunchbase