דרושים » מדעים מדוייקים » Software Verification Engineer - Networking

משרות על המפה
 
בדיקת קורות חיים
VIP
הפוך ללקוח VIP
רגע, משהו חסר!
נשאר לך להשלים רק עוד פרט אחד:
 
שירות זה פתוח ללקוחות VIP בלבד
AllJObs VIP
כל החברות >
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
4 ימים
Location: Be'er Sheva
Job Type: Full Time
Our Networking Software Group is rapidly growing, and we are hiring software engineers for the networking Switch Software Verification team. Come and join a diverse group of engineers spread across the globe who come together in small close knit teams to innovative and develop groundbreaking solutions.

As a member of the team, you will be a part of cutting edge Python-based SW project using advanced techniques such as white box testing, multi-thread environment and more. You will gain unique knowledge of how switch operating system works and how large scale networks are constructed. Teams utilize the latest software engineering methodologies and tools in an agile fashion to release on time. Are you ready for this challenge?

What you will be doing:

Design, develop, optimize and maintain APIs, tools and libraries for Verification networking infrastructure.

Collaborate with team members, Architects, design, QA teams, and customers (both external and internal).

Design, develop, execute and maintain tests automation for release features.
Requirements:
What we need to see:

B.Sc in Computer Science or equal program.

2+ years of proven experience with object oriented programming languages: Python/ Java/ C#.

2+ years of proven experience with computer networks, Layer-2 and/or Layer-3.

Strong technical abilities, problem solving, design, coding and debugging skills.

Ability to lead feature development, take full ownership of tasks from A-Z and deliver independently with minimum supervision.

Great teammate with multi-tasking ability and good interpersonal skills.

Ways to stand out from the crowd:

Background in C and/or Python programming.

Experience in Jenkins pipelines.

Experience with MS-SQL.
This position is open to all candidates.
 
Hide
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8583575
סגור
שירות זה פתוח ללקוחות VIP בלבד
משרות דומות שיכולות לעניין אותך
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
לפני 13 שעות
דרושים באוניברסיטת בן גוריון
מיקום המשרה: מספר מקומות
סוג משרה: משרה מלאה
א. ניהול צביר מחשוב עתיר ביצועים (HPC) ושירותי ענן לצרכי ההוראה והמחקר בפקולטה.
ב. פיתוח ותחזוקת שירותים קיימים וחדשים מבוססי קוד פתוח: אחסון ZFS וכו'.
ג. פיתוח ותחזוקת מערכות HPC בסביבת Linux מבוססות מערכות קוד פתוח: Kubernetes, Slurm.
ד. פיתוח, הערכה והטמעת טכנולוגיות מתקדמות בתחום HPC/AI ומחשוב מדעי. הגדרה והטמעת תהליכי DevOps ויצירת כלי עבודה/סביבות עבור משתמשי HPC במעבדות ההוראה והמחקר בפקולטה.
ה. פיתוח והטמעה של כלי ניהול, בקרה ומדידה על ביצועי אשכולי המחשוב המרכזיים.
ו. ניהול תורים ומשאבים בצבירים המדעיים וכתיבת סקריפטים ניהוליים במערכות Python, Bash.
ז. ניהול, התקנה ותחזוקת שרתים מבוססי מערכת הפעלה לינוקס (Ubuntu, CentOS, Rocky).
ח. מתן סיוע והדרכה לסטודנטים ואנשי סגל בשימוש ב-HPC במעבדות ההוראה והמחקר בפקולטה.
ט. ביצוע מטלות נוספות בהנחיית הממונה.

הערה: עבודה בשעות לא שגרתיות
דרישות:
א. תואר אקדמי ראשון במדעי ההנדסה או במדעי הטבע, רצוי במדעי המחשב או בהנדסת תוכנה או בהנדסת מערכות מידע.
ב. ניסיון של 3 שנים בתחומים רלוונטיים.
ג. ניסיון עבודה עם מערכות Linux ו-Docker Containers.
ד. ניסיון עבודה בניהול מערכות HPC: Kubernetes, Slurm.
ה. ניסיון עבודה עם ספריות עיבוד מקביליות ומערכות תזמון משימות בסביבות מחשוב עתיר ביצועים (HPC).
ו. ניסיון עבודה בניתוח בעיות ביצועים מערכתיים ומבדקי ביצועים של מכונות בודדות ואשכולי חישוב.
ז. ניסיון בניתוח ביצועים של עבודות GPU.
ח. ניסיון עבודה בכתיבת סקריפטים בתוכנות Python, Bash.
ט. ניסיון עבודה עם כלים לניהול מערכת (Shell, Bash, Ansible, Foreman, PHP, Python, PERL ).
י. רצוי - ניסיון עבודה באוטומציה ושילוב משימות של צבירים.
יא. רצוי - ניסיון עבודה עם מערכת Github Repository. המשרה מיועדת לנשים ולגברים כאחד.
 
עוד...
הגשת מועמדות
עדכון קורות החיים לפני שליחה
8493517
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
לפני 18 שעות
דרושים בעמותת בנתיבי אודי
מיקום המשרה: מספר מקומות
סוג משרה: משרה מלאה ועבודה היברידית
תכנית ניצנים, במסגרת עמותת בנתיבי אודי ובשיתוף אגף התקשוב וההגנה בסייבר בצהל, מובילה תוכניות מצוינות טכנולוגיות לבני ובנות נוער מהפריפריה.
מסלול מדעי המחשב והנדסת תוכנה, פועל בציר הפורמאלי בתוך בתי הספר ומכין לבגרות 5 יחידות.

אנחנו מחפשים דמות חינוכית-מערכתית עם חיבור אמיתי לטכנולוגיה, שתוביל את המסלול ברמה התפעולית והמערכתית

*משרה מלאה | היברידי
דרישות:
- תעודת הוראה + ניסיון בהובלת תוכניות לימוד מקצועיות/ מסלולי הכשרה
- ניסיון בעבודה במערכת החינוך והגשה לבגרות טכנולוגית
- יכולות הובלה, ארגון וניהול תהליכים
- זיקה לעולמות מדעי המחשב / תכנות
- נכונות לעבודה בשטח המשרה מיועדת לנשים ולגברים כאחד.
 
עוד...
הגשת מועמדות
עדכון קורות החיים לפני שליחה
8586125
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
לפני 15 שעות
Job Type: Full Time
We're looking for a Senior AI/MLOps Engineer to join a group that specializes in Security and Networking, and specifically ML, AI and agent development. As a Senior AI/MLOps Engineer, youll build and maintain the infrastructure, tools and processes necessary to support the AI lifecycle in a production environment. You will collaborate closely with data scientists, software engineers, security architects and DevOps teams to ensure smooth deployment, modeling and optimization of AI models. This role involves creative problem solving alongside engineering teams, and is pivotal for the continued success of AI networking security.

What youll be doing:

Developing, improving and optimizing scalable infrastructure for handling and deploying security and networking AI models and agents in production, ensuring high availability, scalability, reproducibility, and performance.

Optimizing AI models and agents for performance, scalability, and resource utilization, considering factors such as latency, efficiency, and cost.

Monitoring and deploying agentic systems, LLMs, and ML models in production.

Designing and implementing frameworks/pipelines for AI training, inference, and experimentation.

Collaborating closely with data scientists, security architects and software engineers to operationalize and deploy AI models and agents, including packaging and integration with existing systems. Participate in developing and reviewing code, design documents, use case reviews, and test plan reviews.

Collaborating with DevOps teams to integrate pipelines and workflows into the CI/CD process, ensuring flawless deployments and rollbacks.

Building and maintaining monitoring and alerting systems to proactively identify and resolve issues relating to quality, performance and infrastructure.

Implementing access controls, authentication mechanisms, and encryption standards for AI models and data.

Documenting guidelines, and standard operating procedures for MLOps/AI processes and sharing knowledge with the wider team.

Develop proof-of-concepts for new features.
Requirements:
What we need to see:

BSc/MSc in CS/CE or related field (or equivalent experience).

Strong background in AI with experience deploying and monitoring AI/ML models, LLMs and agents to production systems at scale, including distributed and multi-node environments - at least 5 years of experience.

Proficiency in programming languages such as Python, Java, or Scala, along with experience in using ML/AI frameworks and libraries (e.g. TensorFlow, PyTorch).

Proficiency in microservices architecture, container orchestration, cloud platforms, and scalable infrastructure for training and inference workloads.

Knowledge of inference optimization techniques.

Understanding of build infrastructure and CI/CD tools and practices (e.g. GitLab, GitHub Actions, Jenkins).

You are detail-oriented and care deeply about robust, well tested, high-performance code in production environments.

You are proactive, take full ownership of your deliverables, have a can-do approach, and excellent communication and collaboration skills, able to work effectively in multifunctional teams.

Ways to stand out from the crowd:

Knowledge of network protocols and Linux internals.

Security and networking background, with knowledge of security protocols, network architectures, firewalls, intrusion detection systems, and other relevant security and networking concepts.

Experience deploying and optimizing generative models and agents.

Knowledge of network security principles and practices.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8586605
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
11/02/2026
Location: Be'er Sheva
Job Type: Full Time
We are looking for a phenomenal engineer to join the chip simulation team for networking chips and GPUs. This simulation platform enables our engineers across firmware, SDK, and OS domains to develop and test their code without relying on physical hardware. If you're a creative, self-driven engineer passionate about systems-level design and eager to build technology that empowers internal teams, we want to hear from you.

What Youll Be Doing:

Develop and maintain simulation infrastructure components for different simulation teams (GPUs, switches, NVLink, Ethernet, PHY) of our high-performance networking chips.

Define, implement, and validate simulations of core infra features, improve performance, maintain multi processes and multi-threaded IPC mechanisms (sockets, queues etc.), define architecture and the building blocks of the simulation.

Own, extend and optimize all the CI/CD of the simulation team, starting from servers installation to adding and maintaining various Jenkins jobs that help developer and improve their life.

Collaborate with chip architects, firmware developers, and hardware design teams to accurately simulate complex behaviour in software.

Support internal users by debugging simulation flows and collaborating on bug resolution.

Take part in future-facing innovation by enabling simulation for next-generation devices and features.
Requirements:
What We Need To See:

Bachelor's Degree or equivalent experience in Computer Science / Software Engineering / Computer Engineering / Electrical Engineering / Communication Engineering.

5+ years of experience in Python, C/C++ programming, with strong object-oriented design skills and performance-sensitive environments.

Experience debugging using debuggers (gdb), including concurrency issues (races, deadlocks...).

Strong background with Linux systems, CI/CD pipelines - and automation frameworks (e.g., Jenkins, Git, Docker, Pytest).

Familiarity with Inter-Process Communication (IPC) mechanisms (sockets, message queues, shared memory...).

Ability to communicate complex technical ideas in simple terms.

Well-organized, proactive and capable of leading your own tasks.

Collaborative personality with a love for teamwork.

Ways to Stand Out from the Crowd:

One man show, Swiss knife - you have experience in many areas, you have been through multiple head scratching bugs and rewritten same system multiple times learning from each iteration.

Experience building complex simulation or emulation systems, especially those simulating hardware behavior.

Background with multi-platform systems spanning HW, FW, and SW.

Experience with low-level networking protocols and applications.

A passion for building internal tools that prioritize authenticity, stability, and usability.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8541368
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
לפני 14 שעות
Location: More than one
Job Type: Full Time
Our Formal Verification (FV) team is seeking a visionary AI Verification Engineer to join our elite Networking Chip Design group. Our team is unique: we define the infrastructure and drive the methodologies for proving the correctness of the worlds most advanced AI and networking architectures. We operate at the cutting edge, leveraging a sophisticated ecosystem of proprietary in-house formal tools and industry-leading vendor EDA solutions.

In this role, you will be a key architect in our "AI-for-FV" evolution. You will work in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence. You won't just be using tools; you will be building the "brains" that sit on top of them-utilizing LLMs and Machine Learning to automate intent-to-proof workflows and debug complex chips with unprecedented speed.

What Youll Be Doing:

In-House Tool Evolution: Partner closely with internal CAD teams to integrate AI capabilities directly into our proprietary FV infrastructure.

Methodology Architecture: Define and evolve the FV teams specialized methodologies, moving from manual property writing to AI-automated assertions.

Next-Gen Orchestration: Develop and integrate AI agents and ML models that interface with our toolchain to automate "intent-to-assertion" workflows and optimize coverage and convergence.

Intelligent Debugging: Create AI-based debug assistants that analyze formal counter-examples, categorize failures, and autonomously suggest fixes for complex logic problems.

Collaborative Intelligence: Act as the bridge between the FV team, Design Technology AI, and CAD groups to ensure our AI solutions provide end-to-end efficiency from RTL to A0 tapeout.

Leadership & Training: Act as the authority on AI integration, training the broader team on how to leverage "human-in-the-loop" AI tools and automated methodologies.
Requirements:
What We Need to See:

Bachelors or Masters Degree in Electrical Engineering, Computer Science, or equivalent experience.

7+ years of hands-on pre-silicon verification experience, with a strong foundation in Formal Verification (FV).

A perspective geared toward automation and experience, defining or refining complex verification infrastructures.

A desire to redefine traditional "manual" verification workflows using modern software and AI principles.

Ways to Stand Out from the Crowd:

Experience building or deploying AI tools specifically designed for hardware (e.g., LLM-based assertion generation)

Proven track record of collaborating with CAD or tool-development teams to refine internal design flows.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8586682
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
11/02/2026
Location: Be'er Sheva and Yokne`am
Job Type: Full Time
As the Technical Program Manager in our Infrastructure-RESS IT PMO team, you will be responsible for leading IT infrastructure programs for Office, Lab and Data Center projects: new build, expansion, retrofit, relocation and de-commissioning. You will clarify and challenge objectives, develop roadmaps, assess the complexity and risks, unblock as needed, and partner with highly skilled technical resources to deliver quality solutions with agility and speed. In partnership with senior IT leaders, you will be responsible for global execution of your programs, ensuring consistency and timely execution in line with our PMO processes. You are required to inspect and assess programs health; provide input for improvements needed or seek support in a timely manner for quick resolution.

What you'll be doing:

Lead multiple, concurrent, large and complex programs or projects. Lead the planning, execution, and monitoring of our site IT infrastructure.
Develop project plans along with agreed upon timelines, provide cost estimations, procure IT assets required for the infrastructure programs, guide implementation or deployment of IT assets on site, track timelines, ensure thorough UAT is conducted at the site and do spot tests as TPM, provide hyper care with all functional teams and resolve UAT issues, and ensure adherence to project objectives.
Work with project owners to identify project scope, define success criteria, build and manage project budget, and outline resource requirements. Identify & manage multi-functional dependencies.
Main responsibilities include collaborating with the real estate and facilities leadership group within the region, coordinating with various IT teams such as network active, network passive, storage, compute, end-user support & A/V, procuring required IT assets for all functions and participating in the setup and management of labs and infrastructure at different sites across North America.
Communicate with stakeholders regularly to manage expectations and to provide project updates on scope, budget, and velocity - Real Estate leaders & project managers, site leaders, lab owners, vendors, consultants, implementation partners, etc.
Reporting: Involve project steering committee for guidance and key decisions. Provide quality status reports consistently. Interact and collaborate with multi-functional teams and different org levels.
דרישות:
What we need to see:
Bachelor's Degree in computer science, telecommunications, electronics or other related technical subject area (or equivalent experience)
12+ years of Technical Program Management experience in successfully leading IT Infrastructure programs for Offices and Data Centers; in a fast paced, multi-faceted, enterprise environment
Strong communication skills both written and verbal/presentations. Ability to bridge from high-level objectives to project details and vice-versa. Ability to produce good Status Reports on a weekly and monthly basis. A good command over English language is a must
Ability to engage with IT & business leaders to unblock/advance projects as needed. Strong stakeholder management skills are required
Willingness to work with distributed team members across different time zones
Ability to work with AI tools such as: Co-pilot, Gemini, Chat GPT, Perplexity, Cursor, etc.
Business travel is required, with an estimated travel of once a quarter, for about 2 week, primarily to locations and offices within Israel

Ways to stand out from the crowd:
Ability to drive large transformation programs at scale & behave as an owner. Collaborate with internal teams, external vendors, and business partners to gather requirements, address concerns, and ensure alignment with project objective
Champion effective communication and lead collaborator expectations throughout the project lifecycle. Agile execution expertise a must. Use of Atlassian tools such as Jira and / or Jira Align is a must
Proven track record of delivering solutions when המשרה מיועדת לנשים ולגברים כאחד.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8541244
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
לפני 16 שעות
Job Type: Full Time
We are now looking for a Senior AI System Security Architect! We are looking for an outstanding technical security architect with system architecture focus to design, validate, and guide implementation of secure architecture of its core products. The candidate is expected to: define problems and deliver highly innovative solutions that lead to significant differentiation in the industry, translate customer needs into architectural, technical & strategic direction, and help to resolve objectives & long-range goals of the security organization. Leaders in this role will help reduce risk, threats, and vulnerabilities in our Data Center products and services.

What youll be doing:

Own the security requirements for our networking systems in a variety of product lines.

Work with technical and senior leadership staff to turn business directives into functional implementations.

Collaborate between multiple business units and development groups to ensure a robust and secure product posture, from design to implementation in multiple system level products.

Provide hands-on security engineering expertise across a wide variety of platforms and services.

Provide strategic and tactical expertise in orchestrating, securing, deploying solutions; and in defining relative architectures.

This role extends across multiple groups and excellent working knowledge in the following areas of expertise is necessary for success:

Designing system security architecture at hyperscale.

Embedded systems security architecture and design.

Deep, low level understanding in Root Of Trust (ROT) technologies.

Networking security protocols and concepts.

Operating systems security and SW security concepts.
Requirements:
What we need to see:

BS / MS / Ph.D. in EE or CS. Ph.D. in CS, EE (related technical field) or equivalent preferred.

5+ years of experience in the security industry, especially in System level products including HW, FW and SW components.

Familiarity with System on Chip (SoC) level design or architecture.

Experience with system level threat modeling, risk management frameworks and risk mitigation techniques.

Experience with compute and networking systems security architecture and engineering.

Excellent communication and interpersonal skills. and a consistent track record of driving architectural solutions across organizations.

Ways to stand out from the crowd:

Proven experience in technical customer-facing roles, presenting and discussing security and system architecture requirements and solutions.

Deep understanding of data centers and cloud infrastructure security solutions.

Demonstrated success in driving security innovation across the industry.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8586498
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
27/02/2026
Location: Be'er Sheva
Job Type: Full Time
Were hiring an experienced verification engineer to join our team developing advanced telecommunications ASIC/FPGA products. You will join RADs family, as part of our team in Beer-Sheva.



Responsibilities:
Build and maintain verification environments (SystemVerilog/UVM or Specman)
Develop test plans and run constrained-random & directed tests
Debug, analyze coverage, and work closely with design teams
Contribute to methodology and process improvements
Requirements:
BSc/MSc in EE/CE or related field
5+ years of ASIC/FPGA verification experience
Strong in SV/UVM or Specman
Scripting (Python/Bash), Linux
Great debugging and teamwork skills
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8564483
סגור
שירות זה פתוח ללקוחות VIP בלבד