801 IT & Software Developer jobs in the US
Senior Formal Verification Engineer
$143,300 - 247,600
Annapurna Labs Inc.
Torre Avenue 10201, Cupertino
$143,300 - 247,600
Requirements
Must:
- Bachelors degree or higher in computer science, electrical engineering, or a related discipline
- 7 years of hands-on experience in formal verification as an IP/Block owner, or equivalent academic exposure to formal methods
- 7 years of familiarity with formal verification techniques, including abstraction and end-to-end checking, or equivalent academic knowledge in formal methods
- Proficiency in programming or other scripting languages and coding skills (C/C++/C#, Node.js, Java, Python, PHP, Ruby) preferred
- Understanding of micro-architecture design and debugging
- Practical experience with RTL design
Responsibilities
- Develop formal verification plans to implement and verify cutting-edge IP architectures
- Collaborate with block designers to gain an in-depth understanding of micro-architecture
- Create checking algorithms, assertions, and formal verification models
- Apply state-of-the-art formal methods and abstraction techniques
- Engage in test plan and coverage reviews to ensure thorough validation
- Promote assertions to simulation and contribute to the overall simulation strategy
- Communicate and collaborate effectively with team members across various disciplines
Description
At Amazon Web Services, we are dedicated to providing a robust, scalable, and cost-effective cloud infrastructure powering businesses worldwide. Our data centers span across the U.S., Europe, Singapore, and Japan, supporting a diverse range of industries. We believe in fostering an inclusive team culture, valuing work-life balance, and providing opportunities for mentorship and career development. Join us in Los Angeles County, where we emphasize cooperation, communication, and a commitment to excellence as part of our core values. We offer a competitive compensation package that reflects various U.S. markets and includes a comprehensive suite of benefits.
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 801 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?
Jump, Sched LLC, D3 Security Management Systems, FLORA Graphic & Printing Inc, DANG designs, Inc., VenHub, Bitus Labs among others, are currently hiring for DevOps roles in the United States.
The company with most openings is Walmart as they are hiring for 38 different DevOps jobs in the United States. They are probably quite committed to find good DevOps.
The company with most openings is Walmart as they are hiring for 38 different DevOps jobs in the United States. They are probably quite committed to find good DevOps.