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 seasoned professional in ASIC digital design and verification with a passion for pushing the boundaries of technology. You thrive in a collaborative environment and are adept at solving complex problems. Your expertise in RTL design and verification, particularly in DDR, allows you to … and implement design specifications. Conducting design reviews and providing feedback to improve design quality and efficiency. Debugging and resolving issues related to design and verification processes. Staying updated with the latest industry trends and technologies to ensure our designs remain cutting-edge. The Impact You Will Have: Enhancing the More ❯
Job Description: The project relates to the design and verification of a custom controller for analog components. The controller has interfaces such as SPI, Ethernet and AXI to drive the internal components and send data. Responsibilities: UVM More ❯
Experienced in test automation (Selenium and Sikuli) -Strong background with the Integration and Verification Life Cycle -DOORs and CAMEO: scripting in DXL -Basic knowledge of C++ (Boost and Qt) -CI/CD tools or DevOps Environment experience -Linux OS -Automated Unit Testing and ability to generate the code for More ❯
Verification Engineers Static Analysis with MALPAS Contract Cardiff (Onsite) Safety-Critical Systems We re looking for three Verification Engineers to join a project focused on static verification of safety-critical systems using MALPAS . Key Details: Tool: MALPAS (static analysis) Work: Formal/static verification tasks … working primarily onsite in Cardiff Environment: Structured development (safety-critical or similar regulated sector preferred) What We're Looking For: Previous experience in software verification or validation (static or formal methods) Exposure to or interest in high-integrity/safety-critical environments Strong communication skills and ability to work More ❯
Cardiff, Butetown Community, South Glamorgan, United Kingdom
IntaPeople
Verification Engineers – Static Analysis with MALPAS Contract | Cardiff (Onsite) | Safety-Critical Systems We’re looking for three Verification Engineers to join a project focused on static verification of safety-critical systems using MALPAS . Key Details: Tool: MALPAS (static analysis) Work: Formal/static verification tasks … working primarily onsite in Cardiff Environment: Structured development (safety-critical or similar regulated sector preferred) What We're Looking For: Previous experience in software verification or validation (static or formal methods) Exposure to or interest in high-integrity/safety-critical environments Strong communication skills and ability to work More ❯
