NXP lists a 2027 NFC power-management internship combining wreal, SVA, formal proof and AI exploration

On October 5, NXP listed a six-month internship starting in the first quarter of 2027 within its Sophia Antipolis Secure Transactions and Identification verification team. The project concerns NFC SoC power management, including power gating, reset, clocking and wreal analog representations. It assigns SystemVerilog test scenarios, SVA, coverage analysis and Jasper formal property verification, alongside investigation of AI/ML approaches for analog and mixed-signal verification. The AI work is exploratory.