Amazon Formal Verification Engineer 

Israel, Haifa District, Haifa 

320806220

Annapurna Labs as part of AWS, is seeking for System Validation Engineer to help define, shape, and integrate solutions for the next generation of our cloud platforms.Key job responsibilities
- Design, implement, and execute comprehensive test plans and test cases.
- Develop and maintain sophisticated automated test frameworks.
- Identify, document, and track software and system defects with precision.
- Continuously review and enhance quality assurance processes.
A day in the life

- B.Sc. in Electric Engineering/Computer Science/Software Engineering or related field.
- 5+ years experience in software QA testing and Python/Bash/Lua scripting.
- Experience with test automation frameworks; Knowledge of software testing methodologies.
- Experience with Linux operating systems and debugging tools.
- System level understanding.

- Experience with CI/CD pipeline implementation.
- Deep knowledge of server architecture
- Understanding of board design and electrical validation.
- Capability to read and review technical schematics and layouts.
- Experience in Compute/Embedded system development (ARM, x86, AMD).
- Proficiency with version control systems like Git.