Phd Subject

NXP Semiconductors develops solutions that enable devices to understand their environment, securely connect with other devices or networks and choose an intelligent response in every situation. NXP has sites in 33 countries around the world, including four in France.

Artificial intelligence, and in particular deep learning-oriented models, tend to increasingly reproduce human cognitive capacity in a global and versatile manner. The recent emergence of major generative language models tends to modify uses and opens new research horizons. Regardless of the legal issues posed by generative AI, a new trend is emerging in the area of code verification and validation. Validation methods carried out by manual code reviews and by running tests in a simulated environment (unit or functional tests) tend to be increasingly automated and assisted by artificial intelligence programs. The same goes for the methods currently carried out by system tests in real situations. The program validation and verification phase is costly. The new challenge in companies is to automate it as much as possible by automatically generating tests and evaluating errors. This automation will be a major technological breakthrough and a benefit in reducing the time and cost of software production.

To support our demanding quality standards and short time to market needs in our Firmware (C, RUST), Middleware (C/C++/JAVA) or Hardware (VERILOG) design activities, we are seeking to develop these areas of expertise:

The generation of unit tests covering the entire code (lines and branches)

The generation of functional tests guaranteeing the functionality of the code in a simulated environment

The generation of system tests guaranteeing the functionality of the code in real conditions

Bug prediction through automatic code review

More information about NXP in France…

Read Full Description