632 IT & Software Developer jobs in the US

Annapurna Labs (U.S.) Inc. jobs

Senior Formal Verification Engineer

$143,300 - 247,600
Annapurna Labs (U.S.) Inc.
Torre Avenue 10201, Cupertino
$143,300 - 247,600
Company Size icon
Company Size
200-500
Company Type icon
Company Type
Product
Exp Level icon
Exp Level
Senior
Job Type icon
Job Type
Full-Time
Language icon
Language
English
Visa sponsorship icon
Visa sponsorship
No

Requirements

Must:
### - A Bachelor’s degree or higher in computer science, electrical engineering, or a related area. - Over 7 years of hands-on experience with formal verification as an IP/Block owner, or comparable academic experience in formal methods. - More than 7 years of experience with formal verification techniques, including abstraction and comprehensive checking, or equivalent academic experience in formal methodologies. - Preferred qualifications include familiarity with programming or script languages (C/C++/C#, Node.js, Java, Python, PHP, Ruby), understanding of micro-architecture design comprehension, and practical experience in RTL design. ###

Responsibilities

- Develop formal verification plans and implement and verify cutting-edge IP architectures. - Collaborate with block designers to gain a comprehensive understanding of micro-architectures. - Create checking algorithms, assertions, and formal verification models. - Employ state-of-the-art formal methods and abstraction techniques. - Participate in reviews of test plans and coverage. - Advance assertions to simulation and contribute to the overall simulation strategy. - Communicate and collaborate with team members across various disciplines. ###

Description


At Amazon Web Services, we pride ourselves on providing a robust, scalable, and cost-effective cloud infrastructure that supports countless businesses worldwide. We are searching for skilled Hardware Design Engineers to partner with us in developing the future of our cloud server infrastructure. Our success relies significantly on exceptional server infrastructure as we accommodate vast scale and swiftly integrate emerging technologies. As part of the Cloud-Scale Machine Learning Acceleration team, you will focus on hardware design and optimization within our data centers, utilizing technologies like AWS Inferentia, a machine learning inference solution built for high performance at a low cost. We foster an inclusive team culture that values diversity and supports a work-life balance that allows you to thrive both personally and professionally. Our commitment to mentorship and career development ensures every team member can grow and tackle more complex projects over time. We also uphold principles of equality and dedication to providing the necessary workplace accommodations for all our applicants. Our compensation is reflective of the labor market across several U.S. regions and includes a comprehensive benefits package. We encourage you to apply through our career site and look forward to welcoming you to our team.
Something wrong or incorrect with this job? Tell us in the chat 💬 on the right ➡️
You can find DevOps salaries in the United States here.

How many DevOps jobs are in the United States?

Currently, there are 632 DevOps openings. Check also: Cloud jobs, AWS jobs, Azure jobs, GCP jobs, Kubernetes jobs, Docker jobs, Terraform jobs - all with salary brackets.

Is the US a good place for DevOps?

The US is one of the best countries to work as a DevOps. It has a vibrant startup community, growing tech hubs and, most important: lots of interesting jobs for people who work in tech.

Which companies are hiring for DevOps jobs in the United States?

bunny.net, Asset Inventories Inc., Rivercity Technology Services Ltd., Weehooey Inc., Modest Tree, Giesecke+Devrient, RBI Corporation among others, are currently hiring for DevOps roles in the United States.

The company with most openings is Leidos as they are hiring for 133 different DevOps jobs in the United States. They are probably quite committed to find good DevOps.