דרושים » הנדסה » Verification Modeling Engineer

משרות על המפה
 
בדיקת קורות חיים
VIP
הפוך ללקוח VIP
רגע, משהו חסר!
נשאר לך להשלים רק עוד פרט אחד:
 
שירות זה פתוח ללקוחות VIP בלבד
AllJObs VIP
כל החברות >
29/05/2025
משרה זו סומנה ע"י המעסיק כלא אקטואלית יותר
מיקום המשרה: תל אביב יפו
סוג משרה: משרה מלאה
משרות דומות שיכולות לעניין אותך
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Tel Aviv-Yafo and Haifa
Job Type: Full Time
we are looking for a Design Verification Engineer, CPU, Google Cloud
As a CPU Design Verification Engineer, you will work as part of a Research and Development team, and you will build verification components, constrained-random testing, system testing, and verification closure. As part of our server chip design team, you will verify digital designs. You will collaborate closely with design and verification engineers in projects and perform direct verification. You'll build efficient and effective constrained-random verification environments that exercise designs through their corner-cases and expose all types of bugs. You will manage the full lifecycle of verification which can range from verification planning, test execution or collecting, and closing coverage.

Responsibilities
Plan the verification of digital design blocks by fully understanding the design specification and interacting with design engineers to identify important verification scenarios.
Create and enhance constrained-random verification environments using SystemVerilog/UVM, or Specman.
Identify and write all types of coverage measures for stimulus and corner-cases.
Debug tests with design engineers to deliver functionally correct design blocks.
Lead coverage measures to identify verification holes and to show progress towards tape-out.
Requirements:
Bachelor's degree in Electrical Engineering or equivalent practical experience.
3 years of experience verifying digital logic at RTL level using SystemVerilog, or Specman/E for FPGAs or ASICs.
Experience verifying digital systems using standard IP components/interconnects (microprocessor cores, hierarchical memory subsystems).
Experience creating and using verification components and environments in standard verification methodology.

Preferred qualifications:
Masters degree in Electrical Engineering, Computer Science, or related field.
Experience with UVM, SystemVerilog, or other scripting languages (e.g. Python, Perl, Shell, Bash, etc.).
Experience with CPU implementation, assembly language, or compute System on a Chip (SOC).
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8258041
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
24/06/2025
חברה חסויה
Location: Tel Aviv-Yafo
Job Type: Full Time
At our company, we're on a mission to redefine vehicle safety and reliability on a global scale. Founded in 2016, we have pioneered the world's first fully automated suite of vehicle inspection systems. At the heart of this innovation lies our advanced AI-driven technology, representing the pinnacle of Machine Learning, GenAI, and computer vision within the automotive sector. With close to $400M in funding and strategic partnerships with industry giants such as Amazon, General Motors, Volvo, and CarMax, our company stands at the forefront of automotive technological advancement. Our growing global team of over 200 employees is committed to creating a workplace that celebrates diversity and encourages teamwork. Our drive for innovation and pursuit of excellence are deeply Embedded in our vibrant company culture, ensuring that each individual's efforts are recognized and valued as we unite to build a safer automotive world. We seek an Embedded software engineer to join our R&D team. As our Embedded Engineer, you will work closely with hardware engineers to create efficient, reliable, and scalable Embedded solutions for various applications.
A day in the life and how youll make an impact: Design, develop, and TEST firmware for microcontrollers and Embedded systems.
* Collaborate with hardware engineers to ensure seamless integration between software and hardware components.
* Debug and troubleshoot Embedded systems using oscilloscopes, logic analyzers, and other debugging tools.
* Develop and maintain technical documentation, including software architecture and design specifications.
* Implement communication protocols such as SPI, I2C, UART, Ethernet
Requirements:
* B.Sc. in Computer Science, Electrical Engineering, equivalent - Must. M.Sc. advantage
* 5+ years of experience as an Embedded software engineer in a multidisciplinary company.
* Proficiency in C / C ++ for Embedded systems.
* Experience with microcontrollers (ARM Cortex, PIC, AVR, etc.) and Embedded Linux or RTOS.
* Familiarity with Microchip or STM development tools - advantage.
* Understanding of Real-Time constraints and multi-threaded programming.
* Familiarity with hardware debugging tools and methodologies.
* Knowledge of communication protocols like UART, SPI, I2C, USB, or Ethernet
Why us: Pioneer Advanced Solutions: Harness cutting-edge technologies in AI, Machine Learning, and computer vision to revolutionize vehicle inspections. Drive Global Impact: Your innovations will play a crucial role in enhancing automotive safety and reliability, impacting lives and businesses on an international scale. Career Growth Opportunities: Participate in a journey of rapid development, surrounded by groundbreaking advancements and strategic industry partnerships.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8228317
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Tel Aviv-Yafo and Haifa
Job Type: Full Time
As a Senior CPU Design Verification Engineer, you will work as part of a Research and Development team, and you will build verification components, constrained-random testing, system testing, and verification closure. As part of our server chip design team, you will verify digital designs. You will collaborate with design and verification engineers in projects and perform direct verification. You will build constrained-random verification environments that exercise designs through their corner-cases and expose all types of bugs. You will manage the full life-cycle of verification which can range from verification planning, test execution or collecting, and closing coverage.The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.
Responsibilities
Plan the verification of digital design blocks by understanding the design specification and interacting with design engineers to identify important verification scenarios.
Create and enhance constrained-random verification environments using SystemVerilog/Universal Verification Methodology (UVM), or Specman.
Identify and write all types of coverage measures for stimulus and corner-cases.
Debug tests with design engineers to deliver functionally correct design blocks.
Lead coverage measures to identify verification holes and to show progress towards tape-out.
Requirements:
Bachelor's degree in Electrical Engineering or equivalent practical experience.
8 years of experience verifying digital logic at RTL level using SystemVerilog or Specman/E for Field Programmable Gate Arrays (FPGAs) or ASICs.
Experience verifying digital systems using standard IP components/interconnects (microprocessor cores, hierarchical memory subsystems).
Experience creating and using verification components and environments in standard verification methodology.
Experience with CPU implementation, assembly language, or compute System on a Chip (SOC).

Preferred qualifications:
Masters degree in Electrical Engineering or Computer Science.
Experience with UVM, SystemVerilog, or other scripting languages (e.g., Python, Perl, Shell, Bash, etc.).
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8257727
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Tel Aviv-Yafo and Haifa
Job Type: Full Time
we are looking for a Senior Formal Verification Engineer, Google Cloud
Responsibilities
Plan the formal verification strategy and create the properties and constraints for digital design blocks.
Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
Resolve difficult to verify properties, and contribute improvements to methodologies to enhance formal verification results.
Architect and implement reusable formal verification components.
Requirements:
Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
8 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).

Preferred qualifications:
Master's degree or PhD in Electrical Engineering or Computer Science, or a related technical field.
Experience with scripting languages (e.g., Python).
Experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, or 360-DV.
Knowledge of formal verification algorithms.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8258000
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
15/07/2025
חברה חסויה
Location: Tel Aviv-Yafo
Job Type: Full Time and Hybrid work
We are looking for a passionate Software Developer with a strong desire to take part in one of our most exciting new products in the world of Security Automation.
This is an amazing opportunity to learn and work with cutting-edge cloud and web technologies, and to help build and own a new product from its early stages.
Join a leading team developing the backend and frontend of a state-of-the-art cloud application, working with agile development methodologies.
If youre eager to move fast, make a wide impact, and are the kind of person who gets the job done no matter what were looking for you!
Key Responsibilities
End-to-end backend and frontend development of a new cloud product in the field of Security Automation.
Lead all stages of the development cycle from requirements to production while developing multi-tenant, high-scale, efficient, and secure code.
Be part of a growing, leading team working with state-of-the-art cloud and web technologies, including microservices architecture.
Propose solutions for complex technical challenges.
Requirements:
12 years of experience as a Software Developer.
B.Sc. in Computer Science from a leading university with a GPA above 85 MUST.
Solid computer science fundamentals, including object-oriented design, data structures, algorithms, problem-solving, and complexity analysis.
Proficiency in server-side languages such as Python, Node.js, Go, Java, or C++.
Familiarity with cloud provider services (AWS, GCP, Azure) an advantage.
Familiarity with database technologies such as PostgreSQL, MongoDB, MySQL, or Oracle an advantage.
Fast learner, able to understand new code and technologies quickly.
Highly motivated with a deep desire to achieve outstanding results.
A team player with a Can Do attitude who goes the extra mile to succeed!
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8260063
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Tel Aviv-Yafo
Job Type: Full Time
we are looking for a Software Engineering Manager II, Google Cloud Networking
Responsibilities
Set and communicate team priorities that support the broader organization's goals. Align strategy, processes, and decision-making across teams.
Set clear expectations with individuals based on their level and role and aligned to the broader organization's goals. Meet regularly with individuals to discuss performance and development and provide feedback and coaching.
Develop the mid-term technical goal and roadmap within the scope of your often multiple teams. Evolve the roadmap to meet anticipated future requirements and infrastructure needs.
Design, guide and vet systems designs within the scope of the broader area, and write product or system development code to solve ambiguous problems.
Review code developed by other engineers and provide feedback to ensure best practices (e.g., style guidelines, checking code in, accuracy, testability, and efficiency).
Requirements:
Bachelor's degree or equivalent practical experience.
8 years of experience with software development in one or more programming languages (e.g., Python, C, C++, Java, JavaScript).
3 years of experience in a technical leadership role; overseeing projects, with 2 years of experience in a people management, supervision/team leadership role.
3 years of experience building and developing large-scale infrastructure or distributed systems.

Preferred qualifications:
Masters degree or PhD in Engineering, Computer Science, or a related technical field.
3 years of experience working in a complex, matrixed organization.
Experience managing people managers.
Experience coding in C or C++.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8257845
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Tel Aviv-Yafo
Job Type: Full Time
we are looking for a Software Engineer II, Migration and Replication, Google Cloud
Responsibilities
Design, develop, test, and deploy software solutions using Java and Go.
Contribute to the development and maintenance, and collaborate with other engineers on the team to build and enhance Datastream Connectivity features.
Develop and implement solutions for Data Validation within the migration and replication pipelines and working on cross-product features within the control plane, ensuring integration, and functionality.
Troubleshoot and resolve production issues related to the team's responsibilities in the Control and Connect domain, and contribute to the team's technical design and architecture discussions related to the control plane and connectivity.
Stay up-to-date with the latest technologies and trends in data migration, replication, cloud computing, and in control plane and connectivity solutions.
Requirements:
Bachelors degree or equivalent practical experience.
1 year of experience with software development in one or more programming languages (e.g., Python, C, C++, Java, JavaScript).
1 year of experience with data structures or algorithms.

Preferred qualifications:
Experience with Google Cloud Platform (GCP) services.
Experience with data migration, replication, or data integration concepts.
Experience with RESTful APIs and microservices architecture.
Experience with the GO programming language.
Experience with control plane development or distributed systems.
Knowledge of SaaS (Software as a Service) and cloud computing concepts.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8255832
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
חברה חסויה
Location: Tel Aviv-Yafo
Job Type: Full Time
We are looking for a passionate C++ Developer to join our small all-star team. As part of your role, you will design the architecture, develop, and deploy a new consumer-facing product from the ground up. This role uniquely blends deep low-level R&D with the challenges of performance optimization at a large-scale. This is an amazing opportunity to join a multi-disciplinary A-team while working in a fast-paced, data-oriented environment. If you are experienced but still hungry to learn and impact - wed love to have you on our team!
What Youll Do:
Design, build, and maintain the core modules of a cutting-edge consumer-facing product, poised to compete at the highest level with the worlds leading tech companies.
End to end research and development of complex low-level features as part of a large scale project built by a small team.
Plunge into a world of data, analytics, and ML.
Work closely with data scientists and developers to understand the business from top-to-bottom.
Technological superiority is what gives us our edge so youll work and be up to date with the latest tech and trends.
Requirements:
4+ years in C++ and Python - Must.
Experience with low-level research and development: operating systems, embedded systems or equivalent experience - Must
Experience working with large open source projects is a plus
Experience with native mobile development is a plus
Team player as well as the ability to be independent and proactive.
BSc Degree or equivalent military experience.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8234413
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Tel Aviv-Yafo
Job Type: Full Time
We are looking for a highly skilled senior software engineer with expertise in low-level development, OS internals and security. This role focuses on designing and developing cutting-edge EDR and XDR solutions, driving innovation, and scaling our security infrastructure.

What will you do?
The role includes end-to-end responsibility for new collection capabilities in a cross-platform manner. Starting from detecting various system events at the most low-level kernel level to creating a user-facing, huntable experience. You will research and design optimization strategies and algorithms and deliver them at scale. Your deliveries will enhance the security of different Linux and cloud workloads platforms protected by our product and Windows endpoints, which serve millions of users (from enterprise & public sector clients across the globe, incl. some of the largest companies globally). You will focus on the following:
Software development and testing to cover new code.
Conduct low-level research and design new features & infrastructures.
Learn new technologies in the Windows, Linux, and Cloud workloads security domains.
Architect end-to-end security solutions for complex features with a loose problem definition.
Support customers with issues and requests within the teams domain.
Requirements:
What skills & knowledge should you bring?
4+ years of experience as a software engineer, developing complex systems in modern C++\C.
Proficiency in OS architecture and internals.
Hands-on experience with Linux\Windows low-level development and debugging.
Previous experience working on a production-grade product with a wide-scale deployment, bringing features from planning to production.

Itd be great if you have experience with / or youd learn & gain on our team:
Previous experience with security-oriented development.
Hands-on experience with Linux\Windows kernel development or kernel tracing.
Python knowledge.
Lua knowledge.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8273992
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
14/07/2025
חברה חסויה
Location: Tel Aviv-Yafo
Job Type: Full Time and Hybrid work
We are looking for an excellent, hard-working, and talented software engineer for the Endpoint Security Products Group that has a passion to explore new areas, has a desire to learn and gain experience while working on our SBA Agent product by solving technological challenges with a proactive approach to constant improvement.
You will have the opportunity to make an impact on the design, architecture and implementation of Endpoint Security Products product and define our next generation Windows security products.
We use an interesting and mixed technology stack (mainly C#/C++) on Windows environment
Key Responsibilities
Work on client-side Backend in different languages
Be part of the team that designs and implements Endpoint Security Products solution
Work with other team members to investigate design approaches, prototype and assess technical feasibility
Work on a product with cross-organization integration requirements
Investigate and solve issues arrive from customers.
Requirements:
BSc in Computer Science/Software Engineering (or equivalent)
5+ years of experience as a Software Developer
Proficiency in C#/C++ programming languages
Networking knowledge
Strong coding and troubleshooting skills
Ability to work independently as part of a team
Strong communication skills and a team player
Experience in security technologies (attacks and threat prevention) - Advantage.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8257661
סגור
שירות זה פתוח ללקוחות VIP בלבד