abra R&D seeking a skilled Formal Verification Engineer to join our dynamic team! In this role, you’ll be at the forefront of our efforts to guarantee the reliability and integrity of our most critical systems. Key responsibilities:
* Develop formal verification plans, write formal verification properties.
* Perform coverage analysis to make sure that no scenarios have been missed.
* Full cooperation with the traditional verification, design and architecture team and building a testing strategy accordingly.
* Leading all the formal activities of the most advanced project in AWS.
* Use of advanced technologies such as abstractions, reductions, cover hunt and more.
* Participation in all stages of the team’s development towards company flagship products.
* Mentoring young engineers.
* Develop formal verification plans, write formal verification properties.
* Perform coverage analysis to make sure that no scenarios have been missed.
* Full cooperation with the traditional verification, design and architecture team and building a testing strategy accordingly.
* Leading all the formal activities of the most advanced project in AWS.
* Use of advanced technologies such as abstractions, reductions, cover hunt and more.
* Participation in all stages of the team’s development towards company flagship products.
* Mentoring young engineers.
Requirements:
* Bachelor’s degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.
* 4-6 years of hands-on experience in formal verification, including writing and proving properties, using formal verification tools, and debugging.
* Extensive experience in verification modules of different levels of difficulty, even those who are not trivial to the formal.
* Experience with advanced technologies such as abstractions, reductions, cover hunt.
* Proven experience in accompanying products – from the definition stages to production.
* Bachelor’s degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.
* 4-6 years of hands-on experience in formal verification, including writing and proving properties, using formal verification tools, and debugging.
* Extensive experience in verification modules of different levels of difficulty, even those who are not trivial to the formal.
* Experience with advanced technologies such as abstractions, reductions, cover hunt.
* Proven experience in accompanying products – from the definition stages to production.
This position is open to all candidates.
