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

משרות על המפה
 
בדיקת קורות חיים
VIP
הפוך ללקוח VIP
רגע, משהו חסר!
נשאר לך להשלים רק עוד פרט אחד:
 
שירות זה פתוח ללקוחות VIP בלבד
AllJObs VIP
כל החברות >
משרה זו סומנה ע"י המעסיק כלא אקטואלית יותר
מיקום המשרה: הרצליה
סוג משרה: משרה מלאה
משרות דומות שיכולות לעניין אותך
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
12/02/2026
Location: Herzliya
Job Type: Full Time
Power the Future with us! At SolarEdge (NASDAQ: SEDG), we're a global leader in smart energy technology, with over 3,000 employees, offices in 34 countries, and millions of installations worldwide. Our innovative solutions include solar inverters, battery storage, backup systems, EV charging, and AI-based energy management. We're committed to making clean, green energy the primary power source for homes, businesses, and beyond. With the growing demand for electricity, the need for smart, clean energy sources is constantly rising. SolarEdge offers amazing opportunities to develop your skills in a multidisciplinary environment, covering everything from research and development to production and customer supply. Work with talented colleagues, tackle exciting challenges, and help create a sustainable future in an industry that's always evolving and innovating. Join us and be part of a company that values creativity, agility, and impactful work. We are looking for a Senior ASIC Verification engineer with good grasp of the entire verification process – plan, execution and sign-off, excellent analytical skills, technical skills and high motivation to join our team and take part of the success. What you will be doing:
* Create a thorough verification plan out of IP specification and implement it to completeness.
* Build UVM-compliant IP verification environment from scratch.
* Debug to find root cause of issues.
* Full-chip verification from planning stage to tape-out, including gate-level testing.
* Testing using both System Verilog and C.
* Work in a diverse environment, collaborating with power engineers, communication experts and SW developers.

Country:
Israel

City:
Herzliya
Requirements:
* B.Sc. in Electrical Engineering from a leading university.
* Over 5 years of experience in complex ASIC verification.
* Experience in building IP verification environment.
* Experience in UVM methodology.
* Good knowledge in Verilog.
* Experience in embedded C programming – advantage.
* Good communication and interpersonal skills. SolarEdge recognizes its talented and diverse workforce as a key competitive advantage. Our business success is a reflection of the quality and skill of our people. SolarEdge is committed to seeking out and retaining the finest human talent to ensure top business growth and performance
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8298565
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
חברה חסויה
Location: Herzliya
Job Type: Full Time
we are looking for smart and humble team members to join the team and solve complex problems. Our technical challenges include developing new trading strategies, , improving the performance of our algorithms, finding new ways to beat the markets.
As an ML researcher you will collaborate with our R&D team to execute live trading strategies. If you are looking to make an impact by putting into practice successful ideas and seeing immediately the outcome, make influence on financial performance this is a great opportunity.
In this role you will:
Mange and lead independent research applying ML/DL methods to a wide variety of datasets.
Creatively find new trading strategies
Work with other team members to optimize Algorithms
Requirements:
Masters or PhD in Computer Science, Physics, EE, Mathematics, Statistics, or a related field.
5+ Years of experience of ML research/Deep Learning etc.
Experience with software engineering in Python (must) , C++/Rust is a plus.
Strong statistical analysis and mathematical skill.
A great team player eager to share/learn/teach other team members.
Creative, self-motivated, love complex problems, determined.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8547642
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
23/02/2026
חברה חסויה
Location: Herzliya
Job Type: Full Time
Power the Future with us! At SolarEdge (NASDAQ: SEDG), we're a global leader in smart energy technology, with over 3,000 employees, offices in 34 countries, and millions of installations worldwide. Our innovative solutions include solar inverters, battery storage, backup systems, EV charging, and AI-based energy management. We're committed to making clean, green energy the primary power source for homes, businesses, and beyond. With the growing demand for electricity, the need for smart, clean energy sources is constantly rising. SolarEdge offers amazing opportunities to develop your skills in a multidisciplinary environment, covering everything from research and development to production and customer supply. Work with talented colleagues, tackle exciting challenges, and help create a sustainable future in an industry that's always evolving and innovating. Join us and be part of a company that values creativity, agility, and impactful work. We are looking for an experienced Software Team Leader to lead the development of modern, cutting-edge orchestration software that controls "Distributed Energy Devices" and optimizes electric grid performance at a continental scale. In this role, you will lead a global team of talented engineers, building high-performing, scalable, enterprise-grade applications. You will operate in a fast-paced environment, balancing hands-on technical leadership with people management, ensuring we deliver complex, efficient solutions that define the future of energy. What You Will Do Global Team Leadership: Lead, mentor, and grow a diverse team of developers located across multiple global locations. Foster a culture of collaboration, technical excellence, and ownership. Architecture & Design: Lead the design of mission-critical systems with a strong focus on API best practices and modular architecture to ensure scalability and maintainability. AI-Driven Development: Champion the integration of AI and LLM tools into the development lifecycle. Drive the adoption of AI for code generation and optimization to boost team velocity and code quality. Delivery & Roadmap: Manage team tasks and sprint lifecycles. Collaborate closely with Product Management to define and execute the project roadmap. Hands-On Contribution: actively participate in all phases of the development lifecycle, including high-level design, code reviews, and hands-on coding when necessary to resolve complex bottlenecks.

Country:
Israel

City:
Herzliya
Requirements:
* BS/MS degree in Computer Science, Engineering, or a related subject.
* 5 + years of experience managing software development teams (Experience managing distributed/global teams is a strong plus).
* Strong background in Java (Spring Framework).
* Deep understanding of API Architecture , microservices design patterns, and best practices.
* Experience building high-volume, low-latency, and high-availability applications. Innovation Mindset: Enthusiasm for leveraging AI tools to modernize development workflows. Communication: Excellent leadership and communication skills, with the ability to articulate complex technical concepts to both technical and non-technical stakeholders. Advantageous Experience
* Experience with Event-Driven Systems (Kafka, Cassandra, etc.).
* Background in Cloud Computing and Kubernetes.
* Knowledge of Electrical Engineering concepts or the Energy sector.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8494011
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
Location: Herzliya
Job Type: Full Time
This role involves a continuous commitment to quality assurance, encompassing the maintenance and expansion of our essential test tools. A key responsibility is the thorough testing of new features alongside comprehensive regression testing to safeguard existing functionality. You will have the opportunity to analyze and isolate issues across a multitude of software components, ensuring swift and accurate problem resolution.
Responsibilities
Testing of new features and regression testing.
Lab Management, including maintaining/expanding test tools and device clusters.
Analyzing and isolating issues across many software components.
Acceptance and integration testing on daily builds of software.
Using our products as a customer to ensure they are of the highest possible quality.
Testing of hardware and firmware, including manual testing, management of automated tests, and debugging of lab failures.
What You'll Work On
Execute automated and manual testing for software updates across Apple's product line
Ensure software updates work seamlessly across different Apple devices and configurations
Develop comprehensive testing strategies to catch issues before updates reach customers
Requirements:
Knowledge and experience with the quality assurance process.
At least 3 years of this kind of experience is preferred, but we encourage you to apply with any level of experience
Strong written and verbal communication skills.
Highly motivated, capable of working independently and as part of a team
Attention to detail and an unwillingness to settle for a product that is just good enough.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8548469
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
18/02/2026
חברה חסויה
Location: Herzliya
Job Type: More than one
You will:
Design and execute research projects using advanced methodologies and tools to generate actionable insights that improve decision-making.
Analyze data and apply critical thinking to identify innovation opportunities and optimize research processes.
Prepare scientific reports and presentations to effectively communicate findings and recommendations to stakeholders.
Collaborate across teams and consult with experts, demonstrating adaptability, receptiveness to feedback.
Requirements:
M.Sc. in Computer Science or other relevant degrees.
Experience in data structures and algorithmic research and implementation roles in related fields
2-5 years of experience in using M/LLMs and agentic frameworks
Knowledge and experience in deep learning - NLP, computer vision, time series or standard ML
Fundamental knowledge of programming principles, substantial experience in Python and experience with MLOps practices (Git, Kubernetes, Docker, DVC - advantage)
Ability to work independently and within a team in a fast-moving environment.
Willingness to travel abroad (10%).
Curious? Us too!
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8552089
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
חברה חסויה
Location: Herzliya
Job Type: Full Time
Were looking for a passionate engineer with a strong foundation in signal processing and an appetite for solving complex, real-world problems.
Requirements:
Must-Haves:
Strong experience in Digital Signal Processing.
From sampling, modulation, and Fourier analysis to wavelets, adaptive filtering, and parameter estimation.
Solid academic background.
B.Sc. (or higher) in Electrical Engineering, Physics, or Mathematics with high analytical and mathematical abilities.
Experience in RF-related algorithm development.
Background in GNSS, RADAR, Electronic Warfare (EW), or similar domains.
Proficient in Python (or MATLAB) for algorithm development and simulation.

Nice-to-Haves:
Background in reverse engineering or vulnerability research.
Hands-on experience with RF lab equipment, SDR, designing lab setups and testings.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
8566405
סגור
שירות זה פתוח ללקוחות VIP בלבד