Sr. Principal Functional Verification Engineer Applied ML

Cadence Design Systems Inc.is looking for a motivated Sr. Principal Functional Verification Engineer: Applied ML to be part of theChipStack AI Super Agentteam in Belo Horizonte-working on the worlds first agentic AI platform that autonomously designs and verifies chips with up to 10 productivity gains.We are seeking a results driven Pre-Silicon Verification Engineer with extensive experience in function verification (formal verification and/or simulation/UVM verification) and a passion for leveraging artificial intelligence to redefine the verification this role you will operate at the forefront of semiconductor design and AI innovation utilizing advanced AI tools to architect design and validate the next generation of verification methodologies. You will collaborate closely with a highly skilled team of machine learning engineers experienced in training large language models at scale as well as accomplished software engineers with proven expertise in product development and deployment. Cadence has been nominated as aGreat Place to Workglobally and inBrazil and is also aFortune 100 Best Companies to Work For.

Job Description:

• Contribute to the application of machine learning techniques aimed at streamlining traditional pre-silicon functional verification methodologies like formal verification and UVM.

• Develop agentic AI solutions using LLMs and latest ML technologies to accelerate pre-silicon Design Verification process.

• Employ AI enhanced Electronic Design Automation (EDA) tools to improve and expedite both the design and verification lifecycles.

• Engage directly with customers to understand requirements and deliver innovative practical verification strategies.

• Collaborate effectively with machine learning and software engineering teams to validate output correctness efficiency and quality.

• Maintain current knowledge of advancements in AI-powered hardware verification and actively participate in fostering internal knowledge growth.

Requirements:

• Complete Bachelors degree in Computer Science Electrical/Electronic Engineering with a minimum of 10 years of experience OR MS with a minimum of 7 years of experience OR PhD with a minimum of 5 years of experience.

• Proven expertise of more than 3 years in at least one of the pre-silicon ASIC verification methodologies such as Formal SV/UVM and/or OVM.

• Advanced skills in debugging pre-silicon verification failures using waveform viewers and simulation analysis tools.

• Hands-on experience with industry standard EDA tools (e.g. Jasper Xcelium IMC).

• Strong programming skills in Verilog System Verilog and Python

• Excellent communication skills and the ability to thrive in a team-oriented environment.

• Self-motivated with a proactive approach to problem solving continuous learning and innovation.

• Exposure to LLMs and ML technologies like RAG RFT RL and Agentic frameworks would be a plus.

• Strong verbal and written communication skills inEnglish and Portuguese.

• Employment category: CLT.

• Employment term:40 hours/week.

• Competitive benefits.

• Location: Av. do Contorno 5800Savassi Belo Horizonte Minas Gerais

Cadence Advantages:

• The opportunity to work on cutting-edge technology in an environment that encourages you to be creative innovative and to make an impact.

• Cadences employee-friendly policies focus on the physical and mental well-being of employees career development providing opportunities for learning and celebrating success in recognition of specific needs of the employees.

• The unique One Cadence One Team culture promotes collaboration within and across teams to ensure customer success

• Multiple avenues of learning and development available for employees to explore as per their specific requirement and interests

• You get to work with a diverse team of passionate dedicated and talented individuals who go above and beyond for our customers our communities and each otherevery day.

About Cadence Design Systems:

Cadence is the only company that provides theexpertiseand tools IP and hardware required for the entire electronics design chain from chip design to chip packaging to boardsand tosystems. We enable electronic systems and semiconductor companies to create innovative products that transform the way people live work and play. Our products are used in mobile consumer cloud datacenter automotive aerospace IoT industrial and other market segments. For more information access

Be proud and passionate about the work you do. Together our One Cadence -- One Team culture drives our success.