עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!

במקום לחפש לבד בין מאות מודעות – תנו ל-Jobify לנתח את קורות החיים שלכם ולהציג לכם רק הזדמנויות שבאמת שוות את הזמן שלכם מתוך מאגר המשרות הגדול בישראל.
השימוש חינם, ללא עלות וללא הגבלה.

הגישו קו”ח דרך Jobify

Formal Verification Engineer- Herzliya/

Apple

הגישו קו”ח דרך Jobify

Apple

תל אביב - יפו

Formal Verification Engineer- Herzliya/

Apple

הגישו קו”ח דרך Jobify

Apple

תל אביב - יפו

Ready for an intellectual challenge that combines Mathematics and CS theory in the context of hardware development? Keep reading. In this role you will be responsible for developing mathematical proofs using model checking tools, to find RTL(Verilog) bugs or prove their absence Not in the Formal domain? No worries, we offer thorough training to learn the theory and practice directly from our team experts

Description

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

Minimum Qualifications

Excellent graduates from leading universities
Analytical thinking
Highly motivated

Preferred Qualifications

BS.c / MS.c in CS & Mathematics

Submit Resume