AI/LLM Software Developer - Verification Frontend

Category Engineering Hire Type Employee Job ID 16601 Remote Eligible No Date Posted 03/29/2026

We Are:

At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.

You Are:

You are a forward-thinking engineer with a passion for leveraging cutting-edge AI technologies to revolutionize electronic design automation and verification. You thrive in dynamic environments where innovation, collaboration, and continuous learning are valued. Your experience in verification frontend flows and AI/ML frameworks enables you to bridge the gap between traditional engineering practices and intelligent automation. You are comfortable working across diverse teams, collaborating with design, verification, CAD, and methodology experts to identify impactful automation opportunities. You possess strong analytical skills, enabling you to dissect complex verification challenges and develop scalable GenAI solutions. Your commitment to professional growth is evident in your eagerness to stay current with the latest advancements in LLMs, GenAI, and verification technology. With a keen eye for detail and a drive to deliver high-quality results, you are adept at integrating AI-driven capabilities into established workflows, elevating productivity and efficiency. You value inclusivity and diverse perspectives, and you are motivated by the opportunity to shape the future of engineering through innovative, intelligent solutions.

What You’ll Be Doing:

• Develop and deploy LLM/GenAI-based solutions to enhance verification productivity across static, formal, and simulation-based flows in EDA tools.  
• Collaborate cross-functionally with design, verification, CAD, and methodology teams to identify high-impact areas for AI-assisted automation.  
• Build tools and frameworks to generate or refine assertions, constraints, checkers, and test intent, summarize design/spec content, and analyze logs, failures, and coverage gaps.  
• Integrate LLM-driven capabilities into existing verification flows, tools, and automation infrastructure, ensuring seamless adoption.  
• Develop and maintain scripts, data pipelines, and evaluation frameworks for AI-assisted verification use cases.  
• Stay current with advances in LLMs, GenAI, verification technology, and digital design methodologies to inform best practices.  
• Participate in technical reviews and help define scalable AI adoption strategies within verification environments.

The Impact You Will Have:

• Accelerate verification planning, setup, and closure, enabling faster time-to-market for complex digital designs.  
• Enhance productivity and efficiency for engineering teams through intelligent automation and AI-driven solutions.  
• Reduce manual effort and potential errors in verification by automating routine and complex tasks.  
• Improve coverage analysis, debug processes, and testbench/content generation, resulting in higher quality silicon chips.  
• Drive innovation in verification methodologies by integrating state-of-the-art GenAI capabilities.  
• Foster cross-functional collaboration, contributing to robust and scalable verification strategies.  
• Support Synopsys’ leadership in EDA technology and AI-driven engineering solutions.

What You’ll Need:

• Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.  
• 5–8 years of experience in EDA software development with prior experience in developing GenAI-based tools.  
• Hands-on experience with LLM/GenAI or AI/ML frameworks/tools such as PyTorch, TensorFlow, Hugging Face, LangChain, or equivalent.  
• Proficiency in C++ and familiarity with Verilog, VHDL, or SystemVerilog.  
• Strong understanding of verification frontend methodologies, including static analysis (CDC/RDC/Lint), formal/property-based verification, and simulation bring-up/debug.  
• Experience with cloud or scalable compute platforms (AWS, GCP, Azure) is a plus.  
• Familiarity with Agile development methodologies is desirable.

Who You Are:

• Innovative thinker with a passion for applying AI to real-world engineering challenges.  
• Effective communicator, able to convey complex technical concepts to diverse audiences.  
• Collaborative team player who thrives in cross-functional environments.  
• Strong problem-solving abilities and analytical mindset.  
• Adaptable, eager to learn, and comfortable with ambiguity in fast-evolving technology landscapes.  
• Self-driven and proactive, with a commitment to delivering impactful solutions.

The Team You’ll Be A Part Of:

You will join a collaborative and innovative engineering team focused on advancing verification productivity through AI-driven solutions. The team works closely with design, verification, CAD, and methodology groups to identify and implement high-impact automation strategies. Together, you will drive the adoption of GenAI technologies within Synopsys’ EDA ecosystem, fostering a culture of continuous improvement and technological excellence.

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.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.