Apply For CPU Formal Verification

• Qualcomm
• Office Location
• Full Time

Experience: 2 - 2 years required

Pay:

Salary Information not included

Type: Full Time

Location: Karnataka

Skills: Formal methods, model checking, theorem proving, Software engineering, Automation, C, Python, Hardware description languages, Microprocessor architecture, instruction set architecture, floatingpoint math, memory consistency, memory coherency, Security Architectures, Tcl