Software Engineering Internship – LLM- Agent-based Constraint Debug for Simulation

**Job Title: Software Engineering Internship – LLM-** **Agent-based Constraint Debug for Simulation** **We Are:** Drive technological innovations that shape the way we live and connect. Our technology drives the Era of Pervasive Intelligence, where smart tech and AI are seamlessly woven into daily life. From self-driving cars and health-monitoring smartwatches to renewable energy systems that efficiently distribute clean power, Synopsys creates high-performance silicon chips that help build a healthier, safer, and more sustainable world. **Internship Experience:** At Synopsys, interns dive into real-world projects, gaining hands-on experience while collaborating with our passionate teams worldwide—and having fun in the process! You'll have the freedom to share your ideas, unleash your creativity, and explore your interests. This is your opportunity to bring your solutions to life and work with cutting-edge technology that shapes not only the future of innovation but also your own career path. Join us and start shaping your future today! **What You'll Be Doing:** * Study and analyze constraint-related issues in simulation flows by working with existing code, configurations, and debugging information. * Explore different ways to analyze and reason constraint behavior using logs, traces, and existing testcases. * Develop and evaluate agent-based approaches to support analysis and debugging of constraint-related issues * Summarize findings and insights in clear documentation and share them with the engineering team. **What You'll Need:** **Required:** * Currently pursuing a Bachelor's or Master’s degree in Computer Science, Electrical Engineering, or a related field. * Solid C/C\+\+ programming skills, with the ability to read and understand existing codebases. * Working knowledge of Python for automation, prototyping, and analysis. * Familiarity with AI-assisted or agent-based techniques (e.g., LLMs, agents, skills, or automated reasoning applied to engineering problems). * Comfortable working in a Linux development environment. **Nice to Have:** * Background in SystemVerilog, simulation, or verification methodologies * Familiarity with EDA tools or flows (simulation, acceleration, or emulation). * Experience debugging constraint solving, randomization, or symbolic reasoning systems. * General understanding of constraint-solving techniques, such as SAT or BDD-based approaches. * Experience with large-scale data analysis, benchmarking, or experimental design. **Key Program Facts:** Program Length: 8 Weeks Location: Hsinchu (X-Plan), Taiwan Working Model: In-office Full-Time/Part-Time: Full-Time preferred Start Date: July 2026 **Equal Opportunity Statement:** Synopsys is committed to creating an inclusive workplace and is an equal opportunity employer. We welcome all qualified applicants to apply, regardless of age, color, family or medical leave, gender identity or expression, marital status, disability, race and ethnicity, religion, sexual orientation, or any other characteristic protected by local laws. If you need assistance or a reasonable accommodation during the application process, please reach out to us. 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.