Generative AI Expert Verification Automation

STMicroelectronics Job Opportunity

At STMicroelectronics, we believe in the power of technology to drive innovation and make a positive impact on people, businesses, and society. As a global semiconductor company, our advanced technologies and chips form the hidden foundation of the world we live in today.

When you join ST, you will be part of a global business with more than 115 nationalities, present in 40 countries, and comprising over 50,000 diverse and dedicated creators and makers of technology around the world.

Developing technologies takes more than talent: it takes amazing people who understand collaboration and respect. People with passion and the desire to disrupt the status quo, drive innovation, and unlock their own potential.

Embark on a journey with us, where you can innovate for a future that we want to make smarter and greener, in a responsible and sustainable way. Our technology starts with you.

You will drive the introduction and industrialization of Generative AI in SoC and IP functional verification, with a strong emphasis on SoC-level verification flows and embedded software–driven validation.

You will act as a technical lead and hands-on contributor, defining and deploying AI-driven solutions that:

• Automate the generation of directed C testcases for execution on embedded CPUs in simulation and emulation environments
• Accelerate and systematize UVM collateral generation (sequences, drivers, monitors, scoreboards) using AI-assisted approaches
• Improve coverage closure efficiency through intelligent stimulus generation, analysis, and AI-assisted guidance
• Ensure all AI-generated artifacts comply with verifiable, traceable, and tool-integrated guardrails suitable for industrial SoC validation flows

You will actively leverage and evaluate developer-facing AI tools—including Git Hub Copilot and Copilot-powered workflows—to boost verification productivity while ensuring compliance with security, IP protection, and quality requirements.

You will work closely with design, verification, embedded software, and EDA teams to ensure tight integration of AI solutions into existing verification environments, simulators, CI/regression systems, and sign-off flows.

You will also:

• Define methodologies, best practices, and guardrails for the safe and reliable use of Generative AI in verification
• Evaluate and prototype AI tools, frameworks, and models relevant to RTL, UVM, and software-driven verification
• Contribute to the long-term roadmap for AI-augmented verification productivity at scale
• Collaborate with external partners, startups, and EDA vendors on advanced AI-based verification solutions

• Master's degree or PhD in Electrical Engineering, Computer Engineering, Computer Science, or a related technical field
• Strong experience in SoC and/or IP functional verification
• Solid understanding of RTL design (System Verilog/VHDL) and verification closure metrics
• Proven hands-on experience with UVM-based verification environments
• Good understanding of embedded software execution on SoCs, including CPU-driven test scenarios in C/C++
• Familiarity with simulation, emulation, or FPGA-based validation flows

• Strong foundations in Machine Learning and Generative AI, with practical implementation experience
• Hands-on experience with Large Language Models (LLMs) applied to code generation, analysis, or verification automation
• Proficiency in Python for AI prototyping, scripting, and integration
• Practical experience using Git Hub Copilot (and similar AI-assisted development tools) in complex codebases
• Experience with AI frameworks and tools (e.g. PyTorch, Tensor Flow, Lang Chain, model APIs, or similar)
• Ability to design and enforce AI guardrails (traceability, determinism, security, and correctness)
• Experience integrating AI solutions into industrial EDA and verification tool flows

• Experience automating verification flows, test generation, or coverage analysis
• Understanding of coverage-driven verification (functional and code coverage)
• Ability to reason about trustworthiness, debuggability, and reproducibility of AI-generated…