Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Apple Formal Verification student 
Israel, Haifa District, Haifa 
184859642

31.03.2025
In this role you will be responsible for developing mathematical proofs using model checking tools, to find RTL(Verilog) bugs or prove their absence
In this role you will be responsible for developing mathematical proofs using model checking tools, to find RTL(Verilog) bugs or prove their absence .The position is relevant for both Herzliya/ Haifa site
  • Excellent graduates from leading universities
  • Highly motivated
  • Analytical thinking
student for B.Sc. in Computer Science and Math or Computer Science and Physics only with 2 semester remaining studies