Formal Verification Engineer, Senior Staff - Greece

Company:

Qualcomm Europe, Inc., Greek Branch Office

Job Area:

Engineering Group > ASICS Engineering

General Summary:

As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm GPU ASIC Engineer, you may architect, design, implement, verify, and/or optimize the performance and power of GPU cores. Qualcomm Engineers collaborate with cross-functional teams to meet and exceed customer needs.

Minimum Qualifications:

• Verificationskills: Formal verification (Static) and Dynamic (simulations)
• Formal tools – Jasper, VC-formal, OneSpin, QuestaFormal
• System Verilog/SVA, Verilog or VHDL, Scripting skills

Preferred Qualifications:

• Knowledge of abstractions, constraints, equivalence checking etc
• Apps in formal tools (...