Verification AI Engineer - (Seongnam-si, Gyeonggi-do, South Korea)

We Are Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.   You Are You have spent years deep in semiconductor verification, the kind of work where a missed corner case can cost months and where automation is not a nice-to-have, it is survival. Somewhere along the way, you realized that the next leap in verification productivity would not come from faster simulators alone but from fundamentally smarter workflows, and that is where AI enters the picture. You are not just curious about LLMs and agents, you have already started experimenting. Maybe you have built a prototype that uses RAG to surface relevant testbench examples, or you have scripted something that helps engineers debug faster by surfacing patterns in coverage data. You know the difference between AI hype and AI that actually helps an engineer close coverage on a Friday afternoon. You move between verification engineers who need solutions that just work and AI researchers who think in embeddings and inference pipelines, and you can translate between both. You do not wait for a perfect spec. You identify a painful workflow, build something that addresses it, and iterate based on what actually gets used. At Synopsys, you will work on AI solutions that touch real verification flows used by semiconductor teams worldwide, and what you build will directly affect how engineers work every day.   What You'll Be Doing - Design and build AI-powered tools and workflows that make verification engineers more productive, whether that is smarter debug assistants, automated coverage analysis, or intelligent testbench generation - Work directly with Product Engineering and R&D teams to identify high-impact verification pain points and translate them into concrete AI-assisted solutions - Integrate AI technologies like LLMs, RAG systems, AI agents, and workflow orchestration frameworks into existing verification tools and environments, including SystemVerilog, UVM, simulation, and regression workflows - Evaluate emerging AI frameworks and technologies, run experiments, prototype solutions, and determine what actually works in production verification environments - Provide technical leadership across the Korea Verification team and broader Synopsys AI initiatives, sharing knowledge and helping define the roadmap for AI-driven verification solutions - Collaborate with global cross-functional teams to ensure solutions are scalable, maintainable, and aligned with customer needs and engineering workflows - Debug complex integration issues across verification tools, AI models, and automation pipelines, ensuring reliability and performance in real-world use   The Impact You Will Have - Reduce time-to-coverage and debug cycles for verification engineers by delivering AI-assisted workflows that surface insights faster than manual analysis ever could - Accelerate adoption of AI across Synopsys verification products and customer engagements, establishing best practices and reusable frameworks that scale globally - Enable verification teams to make better decisions faster by surfacing relevant data, patterns, and recommendations at the right moment in their workflow - Contribute directly to Synopsys' leadership in AI-driven EDA solutions, combining deep verification domain expertise with cutting-edge AI technologies in ways competitors are still figuring out - Improve engineering quality and efficiency across semiconductor development by making verification smarter, not just faster - Shape the future of verification tooling by defining what intelligent automation looks like in practice, not in a whitepaper - Help engineers across the industry solve problems they could not solve before, whether that is finding a bug that traditional methods missed or closing coverage gaps that used to take weeks   What You'll Need - Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field, plus 10+ years in semiconductor verification or related engineering roles; MS or PhD is a strong plus - Deep hands-on experience with verification methodologies and flows, including Verilog, SystemVerilog, UVM, simulation environments, coverage closure, debug workflows, and regression management - Strong programming skills in Python or similar languages used for automation, scripting, and engineering tool development - Demonstrated ability to build software that integrates with complex engineering workflows, not just proof-of-concept demos but tools that engineers actually use - Experience or strong interest in applying AI, machine learning, LLMs, or automation technologies to solve real engineering problems, not just academic exercises - Familiarity with modern AI technologies such as agent frameworks, retrieval-augmented generation (RAG), Model Context Protocol (MCP), or workflow orchestration tools is a significant differentiator - Experience with advanced verification methodologies like static verification, formal verification, or verification automation is a plus and will help you identify high-impact AI use cases faster   Who You Are - You take ownership of hard problems and see them through, whether that means debugging a tricky integration between an LLM and a UVM testbench or figuring out why a workflow that worked in the lab fails in production - You can explain a complex AI-driven verification workflow to a senior engineer who has never touched machine learning and have them understand not just what it does but why it matters to their daily work - You push back when a proposed AI solution is too vague, too fragile, or misses the actual workflow problem, and you do it in a way that moves the conversation forward instead of shutting it down - You collaborate naturally across teams, whether that is sitting with Product Engineering to understand a customer pain point or working with R&D to evaluate a new AI framework - You stay current with AI and verification technologies not because it is trendy but because you are genuinely curious about what might actually work, and you are disciplined about separating signal from noise - You improve the work around you by sharing what you learn, writing clear documentation, and helping others understand both the potential and the limits of AI in verification   The Team You'll Be Part Of You will join the Korea Synopsys Verification team, a group of engineers developing and enabling advanced verification solutions for semiconductor customers. In this role, you will contribute to AI-driven initiatives that enhance engineering productivity, automation, and verification workflows while working closely with Product Engineering, R&D, and other global teams. Rewards and Benefits We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process. #TPG