Firmware Verification Engineer (m/f/d)
NXP Semiconductors(2 months ago)
About this role
A Firmware Verification Engineer at NXP focused on applying formal methods to the verification of embedded firmware across diverse hardware platforms. The role bridges theoretical formal modeling and practical verification workflows to support product quality and security. The position is part of the engineering organization working on firmware verification for semiconductor products.
Required Skills
- Formal Methods
- Model Checking
- NuSMV
- Model-Based Testing
- Embedded C
- Python
- Java
- Test Automation
- CI/CD
- Jenkins
+4 more
Qualifications
- Master's Degree in Computer Engineering, Computer Science, or related field
About NXP Semiconductors
nxp.comNXP is a global semiconductor company creating solutions that enable secure connections for a smarter world.
View more jobs at NXP Semiconductors →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at NXP Semiconductors
Similar Jobs
Formal Verification Engineer - Firmware
NVIDIA(1 month ago)
Staff Firmware Verification Engineer
Cepheid(10 days ago)
Staff Engineer, Firmware Verification
Cepheid(3 months ago)
Sr Staff Engineer, Firmware Verification
Cepheid(3 months ago)
FVCTO - Formal Verification Specialist
Intel(1 month ago)
FVCTO - Formal Verification Engineer
Intel(1 month ago)