Formal Verification Engineer

17 hours ago


Dublin, Ireland Amazon Full time

AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS. Within AWS UC, Amazon Dedicated Cloud (ADC) roles engage with AWS customers who require specialized security solutions for their cloud services.

Annapurna Labs, a division at Amazon Web Services (AWS), develops innovative hardware and software for AWS cutting-edge cloud infrastructure. Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience. Annapurna Labs is looking for a leader to join the Formal Verification team. This team takes a central part of the verification effort, and vision. Goals are shared with other verification teams.

BASIC QUALIFICATIONS

- Bachelor’s degree in Computer Science, Electrical Engineering, or a related field.
- Please include a grade sheet/academic transcript along with your CV in a single PDF when submitting your application.
- Knowledge in digital logic systems, computer networks, and computer architecture.

PREFERRED QUALIFICATIONS

- Team player, highly motivated and willing to work in a dynamic environment.

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status.

#J-18808-Ljbffr



  • Dublin, Ireland Synopsys, Inc. Full time

    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...


  • Dublin, Ireland Synopsys, Inc. Full time

    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...


  • Dublin, Ireland Stem Recruitment Partners Full time

    STEM Recruitment Partners are working with a medical device org, based in Dublin, that is seeking an experienced Senior Design Verification Engineer to join their R&D operations. This role focuses on verifying medical device projects to ensure comprehensive validation throughout development, readiness for formal testing, and effective lab management of...


  • Dublin, Ireland Synopsys, Inc. Full time

    We’re looking for a Senior ASIC Digital Verification Engineer to join the team. Based in our offices in Blanchardstown in Dublin 15, you will be a senior member of the Synopsys Solutions Group team, which is developing interface IP solutions for DDR and PCIe. The role is hybrid with an expectation of working from the office 3 days per week. You will be...


  • Dublin, Ireland Stem Recruitment Partners Full time

    STEM Recruitment Partners are seeking a Senior Software Verification Engineer to support software verification activities for a medical device company based in Dublin. This 12-month contract focuses on ensuring the software meets all requirements within a complex system, including a microcontroller architecture, embedded GUI, and connectivity modules. Based...

  • ASIC Digital

    1 week ago


    Dublin, Ireland Synopsys, Inc. Full time

    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...


  • Dublin, Ireland Interplace, Inc. Full time

    Software Verification Engineer or Tester (44396-6) Language: Japanese and English Responsible for overseeing, participating in, and performing, but not limited to, the following tasks: 1. Testing and assuring the quality of all features developed through unit testing, regression testing, user acceptance testing, etc. 2. Ensuring test case creation. 3....


  • Dublin, Ireland Synopsys, Inc. Full time

    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...

  • ▷ Urgent: Team Lead

    2 weeks ago


    Dublin, Ireland Blackrock Health Full time

    Blackrock Clinic is the leading and longest established private hospital and clinic in Ireland. Since it opened in the mid-1980s, the clinic has consistently built an unparalleled reputation in new high-tech surgical procedures, medical treatments, and ground-breaking diagnostics. Blackrock Clinic is now part of Blackrock Health private hospital group along...


  • Dublin, Ireland Infineon Technologies AG Full time

    We are seeking an experienced Senior Verification Manager to spearhead the verification of digital designs for our cutting-edge mixed signal IP products. If you're a seasoned expert with a talent for leadership, a drive for innovation, and a passion for staying ahead of the curve, apply now and let's shape the future of verification together! Job...


  • Dublin, Ireland Software Placements Full time

    Client: Our client, a leading Multinational Semiconductor Telecom Organisation, requires a Contract Senior RTL Design Engineer for a 6-month daily rate role, which is 100% remote working. You will need to be within no more than a +2 Hour Time Difference from Ireland. Role: Working closely with signal processing and HW engineers, you will participate in...

  • FPGA Engineer

    5 days ago


    Dublin, Ireland Collins McNicholas Recruitment Full time

    Our Client is an industry-leading inertial systems company offering many industries quality, robust gyroscopes, and accelerometer solutions. It is Ireland’s largest space-related company and a global leader in inertial sensor technology. They are currently looking to hire an FPGA Engineer for their team in Dublin. As an FPGA Engineer, you will play a...


  • Dublin, Ireland Synopsys, Inc. Full time

    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...


  • Dublin, Ireland Software Placements Full time

    Client: Our client a leading Multinational Semiconductor Company requires Lead AMS/RF Layout Engineer for role based in Dublin, Ireland. Role: You will work as part of a cross-functional team to deliver the next generation products from concept to volume production. Responsibilities: - Work with Analog/RF Design Engineers to create and optimise the...


  • Dublin, Ireland Amazon Full time

    AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the...


  • Dublin, Ireland Software Placements Full time

    Client: Our client, a leading Multinational Semiconductor, requires Staff Analog/RF Design Engineer for a role based in Dublin, Ireland. Role: As Staff Analog/RF Design Engineer, you will work as a senior member of a cross-functional design team to deliver the next generation of world-leading products from concept to volume production with applications in...


  • Dublin, Ireland Qorvo, Inc. Full time

    Job Type: Full-Time Location: Ireland - Dublin, IE Requisition ID: 7869 Qorvo (Nasdaq: QRVO) supplies innovative semiconductor solutions that make a better world possible. We combine product and technology leadership, systems-level expertise and global manufacturing scale to quickly solve our customers' most complex technical challenges. Qorvo serves...

  • Staff R&D Engineer

    1 week ago


    Dublin, Ireland Synopsys, Inc. Full time

    You Are: You are a highly motivated and talented individual passionate about pushing the boundaries of technology. You thrive in a collaborative environment and are excited about the opportunity to work on cutting-edge projects in the Electronic Design Automation (EDA) industry. You are eager to join a high-powered R&D team and contribute to...


  • Dublin, Ireland Jabil Circuit Full time

    SENIOR MECHANICAL DESIGN ENGINEER JOB SUMMARY Responsible for the design, development and verification of complex medical, pharmaceutical and diagnostic devices with a major focus on injection moulded components. Applies mechanical, manufacturing, and medical engineering knowledge to develop devices from requirements and specification to product...


  • Dublin, Ireland Qorvo, Inc. Full time

    Job Type: Full-Time Location: Ireland - Dublin, IE Requisition ID: 7869 Qorvo (Nasdaq: QRVO) supplies innovative semiconductor solutions that make a better world possible. We combine product and technology leadership, systems-level expertise and global manufacturing scale to quickly solve our customers' most complex technical challenges. Qorvo serves...