Formal Verification Lead engineer - Azure Core
Haifa, Tel Aviv, Israel | Hardware Engineering | Mar 08, 2022

Microsoft Azure is a highly distributed and scalable cloud system designed to serve the compute, networking, storage and security needs of the entire world. 
To keep up with the requirements of tomorrow’s digital data processing, our team is designing and implementing new FPGA-based accelerators . If you are interested and passionate about cutting edge hardware + software solutions to enable performance and scalability at the highest levels and want to make a difference to millions of people around the world - then Azure hardware acceleration is the place for you! 


Microsoft Azure ILDC (Israel Design Center) is looking for an experienced Formal Verification Engineer that will lead the RTL formal verification of designs implemented by the team. The position includes actual hands-on formal verification work as well as defining relevant flows & methodologies,  and participating in the cross functional team that ensures high quality of the architecture + implementation of the relevant designs.

The formal verification lead engineer will also be responsible for planning the formal verification strategy, performing Formal Verification of complex logic designs to be used in Azure’s data centers, defining properties that capture the design intent of the UUT (Unit Under Test) as well as outlining constraints on the UUT’s input stimulus.



  • 6+ years experience in formal verification of logic designs
  • Good familiarity of commonly used formal verification tools in the industry (e.g. VC-Formal, JasperGold, Questa Formal, etc.)
  • Strong debugging skills
  • BSc/MSc in Electrical Engineering, Computer Science, Mathematics or related fields.


Knowledge/experience in one of these areas is a plus:

  • Formal verification algorithms and reduction techniques
  • Other methodologies and techniques of verification
  • Architecture of hardware accelerators
  • Familiarity with high speed networking
  • Familiarity with enterprise storage



Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances.  We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request via the Accommodation request form.


Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.