jobify_logo

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

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

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

הגשת מועמדות

חברה בתחום הייטק / חומרה / תוכנה / סייבר

  • יקנעם עילית
  • allJobs
allJobs

חברה בתחום הייטק / חומרה / תוכנה / סייבר

  • יקנעם עילית
  • bag_icon מלאה
  • allJobs
allJobs

Our Networking formal verification tool development team is growing and looking for an outstanding computer scientist to join the team as a key player. Our main goal is to develop state of the art formal verification technology. This position offers the opportunity to have real impact in a dynamic, technology-focused company.

What you'll be doing:

Develop advanced formal verification technologies.

Carry ideas from research through development and up to acceptance by team of formal verification engineers.

Collaborate with different teams in the organization to provide end to end formal solutions.
Requirements:
What we need to see:

M.Sc/PhD in Computer Science or equivalent field.

4+ years of experience in Formal Verification development

Experience in algorithm development.

Excellent programming, debugging and code design in C++.

Inventive with sharp learning curve.

Strong communication skills, both written and verbal, and strong interpersonal relationship.

Ability to work independently with minimal direction.

Ways to stand out for the crowd:

An advanced degree in Formal Verification or static analysis.

Experience in Formal Verification development.
This position is open to all candidates.


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

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

הגשת מועמדות
משרות נוספות מומלצות עבורך

2026 Ⓒ ג'וביפיי - כל הזכויות שמורות

קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service israel_innovation_authority work_office המקום