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, 050-5927501