Industry not specified

Formal Verification Engineer, Staff

at Qualcomm

Tech LeadNo visa sponsorshipC/C++/C#

Posted 19 hours ago

No clicks

Compensation

Not specified

Currency: Not specified

City

San Diego

Country

United States

**Staff Formal Verification Engineer**: Apply advanced verification skills, mastering properties, invariants, and formal methods like SVA, PSL. Minimum 7 years' experience, proficient in Java, Python, proving tool mastery (^nvr, Frama-C, VST). Drive formal verification projects, collaborate cross-functionally. Proven expertise in algorithmic verification, fluency in C/C++.