Thèse CIFRE : SW code Verification using Generative AI F/M

Context :

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 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

Your responsabilities :

• You will be responsible to explore all generative AI solutions from R&D in the scope of the SW testing.
• You will be responsible to identify the SW/HW projects compatible (NXP Caen/France/World) with the new testing solutions.
• You will be responsible to drive the activity of automatic generation of unit, functional and system tests within NXP.
• You will be responsible to implement and deploy Gen AI solutions for the selected projects.

Your profile :

• Skill in Generative AI (SLM, LLM, Hugging Face, Langchain, Human Eval)
• Prompt Engineering (Zero-shot, Few-shot, Chain-of-thought, Meta Prompting)
• SW Test logic (Unit tests, Functional tests, System tests)
• C/C++/PYTHON/JAVA/VERILOG

More information about NXP in France...