Jobs
>
Austin

    2024 ASIC Formal Verification Engineer Intern, Annapurna Labs Amazon - Austin, United States - Abs Data

    Default job background
    Description
    Job title:

    2024 ASIC Formal Verification Engineer Intern, Annapurna Labs


    Company:
    Amazon


    Job description :
    DESCRIPTION Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer.

    By applying to this position, your application will be considered for all locations we hire for in the United States.

    In Annapurna Labs we are at the forefront of hardware co-design not just in Amazon Web Services (AWS) but across the industry.

    The work we do is cutting-edge and internet-scale while also being deeply important to our customers.

    We design and build every component of our hardware and software to come together into products that our customers use for accelerated computing through Machine Learning acceleration and FPGA acceleration.

    If you are interested in "building a complete product" from inception to delighted customers, Annapurna is a fantastic choice.


    If this sounds exciting to you – come build the future with usAs a member of the Machine Learning Acceleration team you will be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers.

    You will be a part of a world class pre-silicon hardware design team. The job entails understanding requirements of specific hardware blocks and writing functional descriptions of correct behavior. Specifications are written in hardware description languages like Verilog and System Verilog Assertions (SVA). Using industrial model checkers you will then learn techniques for proving the hardware being designed matches the modeled specification. Advances proof techniques, such as modeling abstractions, and inductive reasoning will be utilized. Automation techniques and scripting flows are also leveraged to accelerate proof techniques.
    Mentorship & Career Growth

    Our team is dedicated to supporting new team members in an environment that celebrates knowledge sharing and mentorship. Projects and tasks are assigned in a way that leverages your strengths and helps you further develop your skillset.
    Inclusive Team Culture

    Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally.

    We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.

    Work/Life Harmony

    Our team puts a high value on work-life harmony.

    It isn't about how many hours you spend at home or at work; it's about the flow you establish that brings energy to both parts of your life.

    We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility and encourage you to find your own balance between your work and personal lives.

    We are open to hiring candidates to work out of one of the following locations:
    Austin, TX, USA BASIC QUALIFICATIONS

    Currently enrolled in a Bachelor's degree program or higher in Electrical Engineering, Computer Engineering, Computer Science or related fields with a graduation conferral date between December 2024 and September 2025

    Completed coursework or prior internship experience with formal methods (SW/HW)

    Coursework or prior internship experience in the basics of computer architecture.


    PREFERRED QUALIFICATIONS
    Experience or previous technical internship(s) with hardware model checkers: JasperGold, or VC Formal.

    Experience or previous technical internship(s) with


    RTL:
    Verilog or VHDL.

    Knowledge of declarative programming languages:
    Ocaml, Haskell.

    Experience with scripting languages, such as Python, or TCL.

    Ability to effectively articulate technical challenges and solutions

    Adept at handling ambiguous or undefined problems as well as ability to think abstractly

    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.

    For individuals with disabilities who would like to request an accommodation, please visit


    Expected salary :

    Location :
    Austin, TX


    Job date :
    Sun, 07 Apr :20:39 GMT

    #ASIC #Formal #Verification #Engineer #Intern #Annapurna #Labs

    Apply for the job now

    [ad_2]

    #J-18808-Ljbffr


  • Abs Data Austin, United States

    Job title: · Hardware Development Engineer Intern, Annapurna Labs · Company: · Amazon · Job description : · DESCRIPTION · Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your applicati ...


  • Abs Data Austin, United States

    Job title: · 2024 ASIC RTL Engineer Intern, Annapurna Labs · Company: · Amazon · Job description : · DESCRIPTION Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your application will be ...


  • Abs Data Austin, United States

    Job title: · 2024 ASIC Physical Design Engineer Intern, Annapurna Labs · Company: · Amazon · Job description : · DESCRIPTION · Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your appl ...


  • Abs Data Austin, United States

    Job title: · 2024 ASIC Design Verification Engineer Intern, Annapurna Labs · Company: · Amazon · Job description : · BASIC QUALIFICATIONS · Enrolled in a Bachelors' degree program or higher in Electrical Engineering, Computer Engineering, or a related field with a graduatio ...


  • One Medical Austin, United States Full time

    About Us · One Medical is a primary care solution challenging the industry status quo by making quality care more affordable, accessible and enjoyable. But this isn't your average doctor's office. We're on a mission to transform healthcare, which means improving the experience fo ...


  • One Medical Austin, United States Full time

    About Us · One Medical is a primary care solution challenging the industry status quo by making quality care more affordable, accessible and enjoyable. But this isn't your average doctor's office. We're on a mission to transform healthcare, which means improving the experience fo ...


  • Amazon Austin, United States

    Quality & Reliability Engineer, Annapurna Labs USA · - BS or MS degree in electrical engineering, materials science and engineering, applied physics or related fields. · - Knowledge and experience in HW/PCBA design, manufacturing, testing and failure analysis. · - Knowledge and ...


  • Amazon Austin, United States

    Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your application will be considered for all locations we hire for in the United States. · In Annapurna Labs we are at the forefront of hardwar ...


  • Amazon, Inc. Austin, United States

    · Annapurna Labs builds high-performance hardware and software solutions used in AWS data centers globally. We are seeking an Serdes/PCIE Phy expert with role in the definition, design and validation of AWS next generation ML Chips, Cards and server integration. As a senior memb ...


  • Amazon Austin, United States

    · Annapurna Labs builds high-performance hardware and software solutions used in AWS data centers globally. We are seeking an Serdes/PCIE Phy expert with role in the definition, design and validation of AWS next generation ML Chips, Cards and server integration. As a senior memb ...


  • Amazon Austin, United States

    Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across ...


  • Randstad Life Sciences Austin, United States

    Job Description · Job DescriptionLab Operator (Level I, II or III) · 6 Month+ contract, potential Temp to Perm Hire · Austin, TX · Currently, only NIGHT SHIFT is available · Alpha Night · Sun, Mon, Tues 12.5 hours / 5pm - 5:30am · Wed 6.5 hours / 11pm - 5:30am · OR · Bravo Night ...


  • Annapurna Labs (U.S.) Inc. Austin, United States

    Job Description · Annapurna Labs, our organization within AWS, is responsible for building innovation in silicon and software for AWS customers. With development centers in the U.S. and Israel, Annapurna is at the forefront of innovation by combining cloud scale with the world's ...

  • Amazon

    Sr. Thermal

    1 week ago


    Amazon Austin, United States

    Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across ...


  • Amazon Austin, United States

    · AWS Machine Learning accelerators are at the forefront of AWS innovation and one of several AWS tools used for building Generative AI on AWS. The Inferentia chip delivers best-in-class ML inference performance at the lowest cost in cloud. Trainium delivers the best-in-class ML ...

  • Amazon

    ASIC Design Manager

    1 week ago


    Amazon Austin, United States

    AWS Machine Learning accelerators are at the forefront of AWS innovation. The Inferentia chip delivers best-in-class ML inference performance at the lowest cost in cloud. Trainium will deliver the best-in-class ML training performance with the most teraflops (TFLOPS) of compute p ...


  • Amazon Austin, United States

    · Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your application will be considered for all locations we hire for in the United States. · In Annapurna Labs we are at the forefront of hard ...


  • Amazon Austin, United States

    Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your application will be considered for all locations we hire for in the United States. · In Annapurna Labs we are at the forefront of hardwa ...


  • Amazon Austin, United States

    AWS Infrastructure Services owns the design, planning, delivery, and operation of all AWS global infrastructure. In other words, were the people who keep the cloud running. We support all AWS data centers and all of the servers, storage, networking, power, and cooling equipment t ...

  • Annapurna Labs

    Serdes PHY Expert,

    2 weeks ago


    Annapurna Labs Austin, United States

    Annapurna Labs builds high-performance hardware and software solutions used in AWS data centers globally. We are seeking an Serdes/PCIE Phy expert with role in the definition, design and validation of AWS next generation ML Chips, Cards and server integration. As a senior member ...