Formal Verification Engineer
hace 2 días
We are seeking a Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification techniques to ensure the correctness and performance of high-end RISC‑V cores. You will collaborate closely with architects and RTL engineers, employing cutting‑edge formal tools and methodologies to build innovative verification solutions. This position offers a unique opportunity to shape the development of high‑quality CPU designs and optimize the CPU verification process through rigorous formal analysis and bug detection methods. Responsibilities Engage in formal verification of architecture and microarchitecture for high‑performance RISC‑V core. Collaborate with architects and RTL design engineers to identify, specify, and verify components suitable for formal analysis. Use formal tools and methodologies focused on ensuring the correctness of arithmetic, logical, and data transfer operations. Develop formal abstract models to verify system‑level properties such as deadlock freedom and non‑starvation. Create innovative verification flows, integrating formal techniques with simulation‑based methods for effective bug detection. Build reusable and scalable proof techniques to enhance the formal verification process. Qualifications & Skills Bachelor’s (BS) or Master’s (MS) degree in Computer Engineering, Computer Science, Electrical Engineering, or a related field. Hands‑on experience with data path and control path formal techniques. Familiarity with model checking tools for formal verification. Strong problem‑solving skills with excellent written and verbal communication abilities. Exceptional organizational skills and high self‑motivation. Proven ability to collaborate effectively with diverse design teams. Exceptional problem‑solving skills with the ability to identify and troubleshoot complex CPU design issues. Familiarity with UVM (Universal Verification Methodology) or similar frameworks. Strong understanding of microarchitectural concepts and CPU pipeline verification. Experience in creating reusable test environments and verification infrastructure. What We Offer Competitive salary and benefits package. Opportunities for professional growth in an innovative startup environment. Collaboration with talented engineers passionate about cutting‑edge CPU technologies. A flexible and inclusive work culture based in Guadalajara, Mexico #J-18808-Ljbffr
-
RISC-V Formal Verification Engineer
hace 2 días
región centro jalisco, México AheadComputing Inc. A tiempo completoA leading technology firm in Mexico is seeking a Formal Verification Engineer to leverage advanced techniques ensuring the performance of RISC-V cores. This role involves collaborating closely with architects and RTL engineers to develop innovative verification solutions. Candidates should have a degree in Computer Engineering or a related field and hands-on...
-
Pre-Silicon Verification, Sr Applications Engineer
hace 4 semanas
Región Centro, México Synopsys Inc A tiempo completo4 days ago Be among the first 25 applicants Pre-Silicon Verification, Sr Applications Engineer 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...
-
Staff SoC Verification Engineer
hace 2 semanas
Región Centro, México Synopsys A tiempo completoA leading technology company in Mexico is seeking a Design Verification Engineer to develop and execute verification test plans for SoC devices. The ideal candidate should possess over 5 years of experience in SoC design verification, proficiency in UVM methodology, System Verilog, HDL, and scripting languages such as Perl and Python. This role involves...
-
región centro jalisco, México Synopsys, Inc. A tiempo completoWe 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...
-
Design Verification Engineer, Staff
hace 2 semanas
Región Centro, México Synopsys A tiempo completoWe 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...
-
Región Centro, México Synopsys, Inc. A tiempo completoA leading semiconductor company in Jalisco seeks a Pre-Silicon Design Verification Engineer. The role involves defining verification strategies and developing UVM-based testbenches for complex SoC designs. Ideal candidates will have 8+ years of experience in verification, strong skills in SystemVerilog, and knowledge of relevant protocols. Join a...
-
Senior IC Verification
hace 13 horas
jalisco, México Micron Technology A tiempo completoA global leader in memory solutions is looking for an experienced engineer to work on IC design flow development in Mexico, Jalisco. You will be responsible for physical verification features, automation of design flows, and collaborating with cross-functional teams. The ideal candidate has a Master's degree in Electrical Engineering, strong experience in...
-
Senior Embedded Software Lead Engineer
hace 2 semanas
Región Centro, México Continental Ag A tiempo completoA global technology company in Mexico is looking for a software engineer specialized in embedded software development. You will develop software designs and verification strategies based on ANSI-C, conduct code reviews, and ensure proper integration of software components. The ideal candidate has very good knowledge in software development processes and...
-
Senior Engineer
hace 13 horas
jalisco, México Micron Technology A tiempo completoOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. Responsibilities Identify and initiate physical...
-
Test Engineer
hace 2 días
región centro jalisco, México Flextronics - The Flex Company A tiempo completoWorkday Career Site Cookie Notice* **Optional** : + and . + We use third-party services such as Google Analytics to gather external career site traffic metrics and analyze visitor information, such as browser usage, visitor numbers, and which pages are used. sets out how they use the information they gather. + We may use **pixel tags or scripts** supplied by...
