Formal Verification Engineer

AWS Utility Computing (UC) is seeking a Formal Verification Engineer to join their team at Annapurna Labs. This role is part of AWS's innovative hardware and software development division that creates cutting-edge cloud infrastructure. The position involves working with foundational services like Amazon S3 and EC2, while focusing on formal verification efforts within the team. The role offers opportunities to work on specialized security solutions for AWS customers through Amazon Dedicated Cloud (ADC). Amazon values diverse experiences and work-life harmony, offering flexible work arrangements and a supportive environment for professional growth. The position is based in Tel Aviv, Israel, and requires expertise in digital logic systems, computer networks, and computer architecture. This is an excellent opportunity to join AWS, the world's most comprehensive cloud platform, and contribute to groundbreaking technological innovations while working alongside diverse, passionate teams.