Apple Israel Formal Verification team is looking for you!

What does Formal Verification (FV) mean? In computer science, FV refers to the act of proving or disproving the correctness of intended

system behaviour with respect to its specification, using formal mathematic methods e.g. Model-Checking

 

Who are we looking for? Talented university recent graduates*, holding a B.Sc. in Electrical/Computer Engineering, Computer science or M.Sc/PhD in Mathematics with real passion for Logic Design and/or Mathematics

 

What will you do? In this role you will be responsible for applying Model-Checking techniques for formally verifying RTL correctness vs. its specification

 

Not in the Formal Verification domain? No worries. We’re offering FV training where you will learn the theory and practice from our leading industry experts

 

*Applicable for graduates with up to 2 years of experience in SW or HW domains

 

 

Contact us and take yourself further

For more details please email – Tamar Presman

tpresman@apple.com, 050-5927501