דרושים » מדעים מדוייקים » Formal Verification Engineer

משרות על המפה
 
בדיקת קורות חיים
VIP
הפוך ללקוח VIP
רגע, משהו חסר!
נשאר לך להשלים רק עוד פרט אחד:
 
שירות זה פתוח ללקוחות VIP בלבד
AllJObs VIP
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
חברה חסויה
Location: Haifa
Job Type: Full Time
Our EyeQ Platform Group (EPG) is seeking a motivated Formal Verification Engineer to join our team and contribute to development of hardware verification environments.
This position offers an opportunity to apply formal methods to verify the correctness of various complex digital systems.
This is an exciting opportunity to join a team of talented engineers, working cutting edge technologies in the field of autonomous vehicle.
What will your job look like:
Be the owner of formal verification environment from first draft to sign-off stage
Apply formal methods to verify the correctness of various complex digital systems
Work with HW architects\designers to define assumptions, rules and cover properties
Help define the formal verification methodology and environment to be applied by the team
Explore new Formal methods and Tools
Work with tools like Cadence JasperGold, Verisium manager, Xcelium, Indago
Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues
Develop generic formal blocks\functions of commonly used logic, to be later used off the shelf.
Requirements:
BSc in electrical engineering, computer engineering, or computer science
Passion for the field of Formal Verification
3+ years of experience in Formal Verification
Understanding and mastering hardware description languages (HDLs) like Verilog/SystemVerilog and programming languages such as Python or C++
Strong analytical and problem solving skills
Ability to work independently and in a team-oriented environment
Participating in last semester Formal Verification course in the Technion - advantage.
This position is open to all candidates.
 
Hide
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230081
סגור
שירות זה פתוח ללקוחות VIP בלבד
משרות דומות שיכולות לעניין אותך
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Haifa
Job Type: Full Time
Our Unit Level Verification Team in Haifa is looking for an experienced verification engineer to be involved in the development of our future AI and deep learning HW accelerators.
This is an exciting opportunity to join a team of highly talented engineers, working on the most cutting-edge technologies to deliver our EyeQ future chips, aimed to power the worlds first fully Autonomous Vehicle!
What will your job look like?
Define, implement and enhance verification environments using UVM methodology.
Write and debug tests that combine UVM methodology and SW code.
Identify and write various types of coverage measures.
Collaborate with designers, architects, and SW developers from Haifa and Jerusalem teams to deliver the most comprehensive verification environment.
Integrate Industry Standard (such as AXI and OCP) and other 3rd party VIPs.
Requirements:
BSc in electrical engineering, computer engineering, or computer science
8+ years of experience working in verification environment, tests, and test bench development (SV/UVM/C/C++)
System Verilog writing skills, preferably in OVM/UVM
SW embedded experience, C/C++ skills
TestPlan defining and Coverage-Driven Verification experience
3rd-party IPs integration testing experience
Waveform debugging with the latest EDA tools, root-cause bugs independently
Skills in scripting Perl/Python - Advantage
Knowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230072
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Haifa
Job Type: Full Time
Required Experienced SoC Verification Engineer
Which department will you join?
The SOC verification group owns the important and challenging job of verifying our chip. It is involved from product specification to final SOC delivery, and involves all the system components. The group is made up of few of the best verification engineers, so besides contributing to making our roads safer, youll get the chance to work at one of the most professional verification teams.
What will your job look like:
You'll be responsible for Pre-Silicon system-level verification of the most cutting-edge AI accelerators and technologies in the automotive field.
Define the TestPlan, develop and run tests on simulation/emulation environments, develop test environment and verification collaterals.
You'll have a broad effect on our unique product from the very beginning of the process.
Requirements:
BSc in electrical engineering, computer engineering or computer science
5+ years of experience working in verification environment, tests, and test bench development (C/C++/SV)
TestPlan defining and Coverage-Driven Verification experience
Fullchip/SOC verification experience, strong system understanding
3rd-party IPs integration testing experience
Waveform debugging with the latest EDA tools, root-cause bugs independently
Knowledge in Industry Standard protocols such as AXI/OCP/APB
SW embedded experience, C/C++ skills - Advantage
Strong skills in scripting Perl/Python - Advantage
System Verilog writing skills, preferably in OVM/UVM Advantage.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230064
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
חברה חסויה
Location: Haifa
Job Type: Full Time
We are looking for a Emulation Engineer to join the Radar VLSI team and drive the development of the next generation ASIC Sensors.
What will your job look like:
This role is all about making high-end Emulation environment base on new designs.
Building and integrating complex components, working with cross-functional engineering teams, and making systems that will change the way we drive.
This role requires an engineer who loves challenges and knows how to bring engineering excellence while considering complicated constraints.
You will work with members of a cross-functional talented,
You will lead the Emulation development for the VLSI team.
You will work closely with SW Engineers, Logic Engineers, Verification Engineers, and others.
You will serve as an expert matter for your domain, which has the full responsibility to drive & implement improvements and new ideas.
Requirements:
BSc in Electrical Engineering, Computer Science, or Computer Engineering.
5+ years of experience in emulation and Hands-on experience with emulation tools ( Palladium/ZeBu/Haps).
3+ of experience Designing logic (Verilog/System Verilog) , Verification (UVM) - an advantage
Hands-on bring-up and debugging of PCBs that have standard digital interfaces (e.g., SPI, I2C, MIPI)- - an advantage
Working with multiple cross-functional teams (e.g. software, Logic, Verification) .
Using standard lab equipment (e.g., multimeters, oscilloscopes, spectrum analyzers).
Team player and excellent communication skills.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230000
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Haifa
Job Type: Full Time
Required Experienced Physical Design Engineer
The EyeC VLSI team designs chips for RADAR systems used in ADAS and autonomous vehicles. Our Physical Design team operates in a startup-like environment, emphasizing technical expertise, execution, and ownership. Each engineer in the Physical Design team takes full responsibility for their work, from initial definition through execution and final sign-offs. Engineers collaborate closely with design and architecture teams to develop constraints, conduct design reviews, and implement RTL modifications to ensure convergence.
We are seeking an Experienced Backend to join our growing Physical Design team. In this role, you will play a key part in the design of state-of-the-art SoCs, from definition to Tape-Out.
What will your job look like:
Hands-on physical design block owner from RTL to GDS.
Floorplan exploration with guidance and collaboration with front-end and architecture teams.
STA: work with FE and floor planner to manage block and top level constraints and 1st level of timing analysis.
Synthesis exploration and final synthesis netlist: Scan insertion @ synthesis, clean checks from Lint, UPF & Spyglass.
Place & Route: from Synthesis netlist to final layout and signoff verification with target to achieve best power performance and area.
Signoff : on all physical design domains- STA, IR/EM, Physical Verification, Logic Equivalent Checking, Low Power Verification.
Requirements:
BSc or MSc degree in Computer Engineering or Electrical Engineering.
3+ years experience in the physical design field.
Experience in scripting languages like Tcl/python/Perl/tcsh.
Team player with excellent communication skills, customer orientation, and a can-do attitude.
Experience in relevant domains - Advantage.
Building or maintaining implementation tools and flow Advantage.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230022
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
03/07/2025
חברה חסויה
Location: Haifa
Job Type: Full Time and English Speakers
We are looking for a System Verification Engineer.
About The Position:
Define System Verification based on System (SW/HW) Design Inputs:
Study design/reliability requirements.
Take part in design reviews.
Define and execute feasibility experiments for proof of concept/design.
Establish Verification Equipment, Verification Methods and Infrastructure:
Define, develop, and maintain testing equipment and methods to provide the means to execute verification.
Collect and analyze data for improvement of methods/processes.
Plan and execute Design Verification and Process Validation for:
Developed products and processes.
Engineering Change Orders.
Service/Manufacturing equipment and processes.
Prepare and release Verification Reports:
Based on collected, analyzed data vs. pre-defined acceptance criteria.
In compliance with companys QMS and applicable standards/regulations.
Participate in the following forums:
Design reviews
Product development gates and milestones.
Initiate, manage, and monitor external testing contractors, such as Testing Houses and Labs.
Define and prepare testing to be performed by external contractors.
Identify and study relevant standards and guidelines (e.g. transportation/shelf-life standards).
Track, review and approve external testing reports.
Working according to Quality Policy, relevant Quality Procedures & Standards, and privacy & safety rules.
Requirements:
B.Sc. in: Electrical/Mechanical/Biomedical Engineering or Physics.
At least 2 years of experience as System Testing/Verification Engineer in Medical Devices field or equivalent.
Solid grasp of basic physical principles, SW/HW interfaces and familiarity with multi-disciplinary systems.
Experienced with measuring tools, such as an oscilloscope, multimeters etc. and experiments design and execution, with focus on safety and statistical validity of results.
Excellent English and documentation practices.
Excellent working relations and Teamwork.
Advantages:
Experience with MRI/CT/Ultrasound or other imaging modality
Experience with external contractors
Experience in Medical Device industry
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8243284
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
05/06/2025
Location: Haifa
Job Type: Full Time
We are looking for an experienced engineer for the Nitro cards product team. Our products include the most advanced interfaces and technologies and widely used across our data centers as backbone for Nitro and other services. The candidate will serve as expert for Nitro HW power domain - ensuring best design, integration and operational health for power domain for our Nitro cards in our data centers.

As a member of a product team you will own complex system debugs involving HW, FW and SW components. You will deal with functional and integration aspects related to complex systems focusing on the power domain related to Nitro HW. You will be involved in architecture decisions, integrations, deployments and debugging related to complex systems while also providing remote and on-site support to our global colleagues.
You will also provide leadership by driving the teams around you to raise the bar and deliver higher quality product on behalf of our customers. This is a fast-paced, intellectually challenging position, and you will work with thought leaders in multiple areas of technology. You will set high standards for yourself and everyone you work with, and will be constantly looking for ways to improve the performance, quality, cost and reliability of products and services you own. We are changing an industry, and we want individuals who are ready for this challenge and want to reach beyond what is possible today.

Key job responsibilities:
- Lead triage, debug and root cause analysis of Nitro HW Power domain related issues in our systems (card / system level).
- Enhancing the ability to trouble shot issues and driving for closure of in-fleet problems.
- Analyze customers` mode of work / requirements and provide resolutions accordingly.
- Co-work with Annapurna Labs monitoring team and other root cause teams to improve quality and reliability of products operation in the fleet.
- Provide Annapurna Labs Board, ASIC and system design, SW and testing development, QA and architecture teams information and requirements from customers fleet operation perspectives and represent the customer voice.
- Drive and maintain trainings, quality documentation and collateral in order to improve in-fleet operation.
- Design and define various tools and scripts to provide support to projects and customize it as per requirement.
- Willing to travel per need few times a year.
Requirements:
BASIC QUALIFICATIONS:
- B.Sc. in one of the following: Electrical / Computer Engineering, or a related field.
- 7+ years of experience in designing boards / systems involving power circuitry.
- High level of expertise in power circuitry design and integration.
- Basic skills in scripting: Python / Bash etc.
- Experience in driving cross team and cross disciplinary activities.

PREFERRED QUALIFICATIONS:
- 10+ years Design and Debug / Integration Experience in systems involving HW, FW and SW.
- Advanced programming skills.
- Computer architecture knowledge (design or architecture) for x86 / ARM.
- Experience with operating systems, boot loaders, networking, and remote debugging.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8205950
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Haifa
Job Type: Full Time
Our Autonomous Driving group in Haifa is looking for an Electrical Validation & Embedded SW Engineer. This is an exciting opportunity to join a growing team of highly talented engineers, working on the worlds most advanced SoCs for ADAS and self-driving vehicles.
Electrical Validation engineers enable, debug, and validate high-speed interfaces - like LPDDR4/5, PCIe Gen4/5, and CDPHY - using high-end Lab measurement equipment and advanced SW tools. This dynamic work environment requires interfacing with Silicon and hardware design engineers, Software developers, Signal Integrity, and System Validation teams. The proximity to Signal/Power integrity simulation activities - we are a single SI/EV team - is another powerful advantage, enabling joint simulation-measurement effort.
What will your job look like:
You will join a relatively small team of talented and experienced EV/SI/PI engineers with wide scope of responsibility, from Pre-Si SI/PI simulations to Post-Si Electrical validation and debug, covering all the high-speed analog interfaces of our EyeQ products.
Responsibilities include performing electrical spec compliance and system margin validation, interface optimization, statistical results analysis, validation flow definitions, and automation, etc.
You will also deal with FW development, automation enabling, data post-processing and debug of high-speed interfaces, like LPDDR4/5, PCIe Gen4/5, and D/C/MPHY.
Requirements:
BSc or MSc in Electrical or Computer engineering
3+ years of hands-on experience in validation or HW/SW debug, including the use of advanced lab equipment (Scope, BERT, etc.)
Hands-on experience with test automation development or FW development or automated data analysis
Strong debugging and advanced analysis experience
Experience in Signal/Power Integrity design- An advantage
Experience with analog circuits or PHY IP knowledge - An advantage
Strong sense of ownership, commitment, and responsibility
Good interpersonal communication skills.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8229978
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Haifa
Job Type: Full Time
Required SoC Physical Design Engineer, Electrical Analysis
Imagine what you could do here! New ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, hardworking people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Hardware products. The same passion for innovation that goes into our products also applies to our practices, strengthening our commitment to leave the world better than we found it. Join us to help deliver the next groundbreaking product! As a Physical Electrical Analysis Engineer on our SoC team, you will be driving the electrical analysis and verification of an SoC.
Description:
As a member of our physical design team, you will be performing various electrical analyses at the block or chip level, including but not limited to Static/Dynamic IR, EM, Noise, and Signal EM.
You will work with the CAD/technology teams for flow bring-up and validation.
You will also collaborate with the implementation team during the entire chip design cycle to drive sign-off closure for tape-out.
You will handle schedules and support cross-functional engineering efforts.
Requirements:
Minimum Qualifications:
Minimum BS and 3+ years of relevant industry experience.
Knowledge of computer architecture, circuit design, and low-power techniques.
Preferred Qualifications:
Experience with ASIC or AMS physical implementation and analysis flow.
Scripting skills to automate and debug verification flows for digital VLSI design.
Knowledge of industrial EDA backend verification tools including Redhawk, PrimeRail/Voltus and PrimeTime/Tempus.
Past experience with sign-off on successful chip tape-outs.
Circuit design background and SPICE experience.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8237743
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
חברה חסויה
Location: Haifa
Job Type: Full Time
Our Automated Driving group in Haifa is looking for an experienced SoC Design Engineer for DFT team.
This is an exciting opportunity to join a team of highly talented engineers, working on one of the most cutting edge technologies - Autonomous Vehicle (AV) SoC.
At our Automated Driving group, we know that the idea of a fully autonomous car is no longer science fiction, but a reality that we are creating!
We have spent more than 15 years developing the world's most Advanced Driver Assistance Systems (ADAS) and we are now leading the computer vision and machine learning domain, reaching fully automated driving experience (AV).
What will your job look like:
You'll be responsible of architecture of the DFT solutions across the SOC (MBIST, SCAN, ATPG, LBIST and more)
Develop all the necessary HW / FW / SW for the different modules
Verify and Validate our design
Debug and analyze coverage and yield loss
As a cutting edge technology company, we are working only with the very advanced DFT tools and features, while developing our own methods and DFT concepts as it required by the Automotive and Safety related products market (ISO26262).
Requirements:
BSc/MSc in Electrical/Computer engineering
Proven Experience in either SCAN or MBIST tools and flows
At least 5 years of experience in the ASIC/SoC industry
Proven skills in Perl / Python / TCL
Knowledge of Hierarchical SCAN methodology
Knowledge of Logic BIST (LBIST) and Test Point Insertion (TPI) flows
Knowledge of TAP protocols IEEE 1149.1/1500/1687 (iJTAG)
Knowledge in Automotive industry FuSa (Functional Safety)
Knowledge of Synthesis flows
DFT experience in both SCAN/MBIST - Advantage.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230049
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Haifa
Job Type: Full Time
Required Experienced RFIC/Analog CAD Engineer
The RFIC/Analog design groups in our Radar organization is responsible for developing the cutting edge Transceivers in mmW frequencies for the best Imaging Radar technology. The design process includes the entire process from specs to productization.
To support these challenging processes, we need a skilled CAD team that will work with the design teams on all design aspects and flows from design environment setups, through design tools implementations and support and to chip level verifications and validation enablement.
We're looking for an Experienced CAD or Design Automation Engineer to develop our RF/Analog design tools/flows and automation flows for the next-generation Imaging Radar chips.
What will your job look like:
Build and support RF/analog design environments
Implement, develop, and maintain design flows, tools and scripts.
Evaluate and explore new automation technologies and advocate for efficiency improvements
Evaluate multiple vendor solutions and guide execution, in the most optimal use, based on design needs
Effectively communicate and support a large number of designers, providing high-quality tools and flows, documentation, and presentations
Requirements:
BSc in Electrical Engineering, Computer Engineering or Computer Science
5+ years of experience in CAD/Design automation
In-depth understanding of RFIC/Analog Design flows
Design automation expert with the ability to write complex Python/Perl scripts
Experience with Virtuoso and Cadence tools, Calibre, Totem/Voltus, PERC
Analytical ability, problem-solving and communication skills
Independent and experienced to develop the required flows
Experience in Skill code - advantage
Experience with main vendors' tools - advantage.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8230027
סגור
שירות זה פתוח ללקוחות VIP בלבד