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

משרות על המפה
 
בדיקת קורות חיים
אבחון און ליין
VIP
הפוך ללקוח VIP
רגע, משהו חסר!
נשאר לך להשלים רק עוד פרט אחד:
 
שירות זה פתוח ללקוחות VIP בלבד
AllJObs VIP
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
 
פורסם ע"י המעסיק
28/04/2024
חברה חסויה
Location: Haifa and Tel Aviv-Yafo
Job Type: Full Time and Hybrid work
A division Web Services (AWS), develops innovative hardware and software for AWS cutting-edge cloud infrastructure.
fast-paced, and a constant learning experience.
looking for a leader to join the Formal Verification team.
This team takes a central part of the verification effort, and vision. Goals are shared with other verification teams.
You can choose between working in our offices in the north (Haifa) or the center (Tel Aviv), the work is hybrid (2 home, 3 office)
Requirements:
Aspiration to manage people
Electrical/Computer Science engineer degree
8+ years of experience with RTL verification
Knowledge of Hardware formal verification concepts and tools
Verilog/SystemVerilog

PREFERRED QUALIFICATIONS
Knowledge in the following programming languages: Perl/Bash/TCl/Python/C/C++
Knowledge in PCIe, Processors, Ethernet, DDR
This position is open to all candidates.
 
Hide
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
7703114
סגור
שירות זה פתוח ללקוחות VIP בלבד
משרות דומות שיכולות לעניין אותך
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
לפני 9 שעות
קווליטסט
דרושים בקווליטסט
Location: Haifa
Job Type: Full Time and Hybrid work
Qualitest seeking a talented Software Developer C ++ with expertise in automation and validation of robotics and sensor systems to join our innovative team in Haifa.
As a key member of our engineering group, you will be responsible for designing and implementing validation strategies to ensure the reliability and performance of our cutting-edge technologies.
Requirements:
Bachelor or advanced degree in Computer Science, Robotics, Electrical Engineering, or a related field.
Proven experience in validation engineering with a focus on the validation of robotics and sensor systems.
Strong understanding of industry standards and regulatory requirements.
Proficiency in Python
Experience with ROS2 for robotic system development.
Solid understanding and practical application of computer vision techniques.
Excellent analytical and problem-solving skills.
Effective communication and collaboration skills within a multidisciplinary team
Proficiency in C ++
Familiarity with Machine Learning and artificial intelligence applications in robotics.
Experience with simulation tools for validation purposes.
Knowledge of ISO and other relevant standards in the field.
Previous work on safety-critical systems is a plus.
This position is open to all candidates.
 
Show more...
הגשת מועמדות
עדכון קורות החיים לפני שליחה
7565216
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
1 ימים
ביופרמקס
דרושים בביופרמקס
מיקום המשרה: מספר מקומות
סוג משרה: משרה מלאה
לחברת הנדסה בינלאומית המתמחה בתכנון והקמת מפעלי פארמצבטיקה וביוטכנולוגיה,
דרוש /ה מהנדס /ת לתפקיד מגוון.
התפקיד כולל כתיבת פרוטוקולי ולידציה וביצוע ולידציות לציוד ומערכות הנדסיות בשטח, כולל מעקב רוחבי על פעילות תיקון.
דרישות:
מהנדס /ת מכונות /כימיה/ביוטכנולוגיה
ידע בקריאת שרטוטים - חובה.
אנגלית (קריאה וכתיבה) ברמה גבוהה - חובה.
שליטה מלאה ב Office- חובה.
ניסיון בתעשייה הפרמצבטית ובתעשייה הביוטכנולוגית - יתרון.
הכרות עם דרישות GMP - יתרון. המשרה מיועדת לנשים ולגברים כאחד.
 
עוד...
הגשת מועמדות
עדכון קורות החיים לפני שליחה
7201492
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
 
נאספה מאתר אינטרנט
08/04/2024
Location: Tel Aviv-Yafo
Job Type: Full Time
We are looking for a talented and experienced engineer to take part in the verification efforts for the companys core product. This position involves building and maintaining a complex verification environment, and defining and executing a test plan. In this role, you will be leading all aspects of verification and will have a critical impact on the company's R&D path.
In Addition, it involves day to day work with other groups within the company such as System, Software, Analog, DFT and LAB activity according to needs
Responsibilities:
Work with Designers and architects defining verification methodologies
Build and maintain an agile verification environment that ties into various systems (MATLAB, SW stack, FPGA, HW/SW Co-simulation and Verilog-HDL)
Work closely with the software, design, Analog, and System teams to understand the functional, Power and performance goals of the products and ensure the quality of the product
Review specifications and develop attributes, tests, and coverage plans
Define methodologies and test benches
Maintain Linux environment and release flow involving several R&D groups including version control (GIT) and internal developed tools.
Requirements:
5+ years of System Verilog UVM DV experience.
Knowledge of Python, shell scripting.
Knowledge of assertions (SVA) or others.
Knowledge of digital ASICs design flows.
Knowledge of industry-standard tools, including Verilog, Verilog simulator, and debug
Bachelors or Masters degree in electrical engineering or computer science, or equivalent experience
Functional Verification - System Verilog, Universal Verification Methodology (UVM)
Verilog, Application-Specific Integrated Circuits (ASIC)
Unix, Scripting - Python, Make, C-Shell/Bash
Version control (GIT)
SoC development work methodologies and tools.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
7684953
סגור
שירות זה פתוח ללקוחות VIP בלבד
סגור
דיווח על תוכן לא הולם או מפלה
מה השם שלך?
תיאור
שליחה
סגור
v נשלח
תודה על שיתוף הפעולה
מודים לך שלקחת חלק בשיפור התוכן שלנו :)
 
נאספה מאתר אינטרנט
08/05/2024
Location: Tel Aviv-Yafo
Job Type: Full Time
Required Senior SoC verification engineer
About this position:
As a Senior SoC Verification Engineer, you will play a pivotal role in our VLSI group, contributing to the development of cutting-edge AI chips.
If you are motivated and skilled in VLSI and excited about AI, we want to meet you!
Responsibilities:
Collaborate closely with verification teams, architecture, and design teams to develop and execute a comprehensive verification strategy for various blocks and flows within our System-on-chip (SoC) and Neural Network (NN) processor, ensuring high-quality standards and prompt execution.
Actively participate in large-scale integration efforts and contribute to maintaining and enhancing the UVM-based verification environment, ensuring it aligns with and enhances group methodologies for verifying complex SoC designs efficiently.
Analyze and optimize system flows to verify a fully functional design meeting logical specifications and performance criteria, ensuring efficient and effective verification processes.
Experience with scripting languages such as Python or Perl.
Requirements:
Bachelors or Masters degree in Electrical Engineering, Computer Engineering, or a related field from a reputable university.
Minimum of 8 years of experience in ASIC design or verification.
Proficiency in SystemVerilog and proven experience with UVM verification methodology.
Familiarity with large-scale SoC verification processes.
Excellent communication skills and ability to collaborate effectively in a team environment.
Advantages
Experience with emulation.
Strong advantage: Experience with ARM subsystems.
This position is open to all candidates.
 
Show more...
הגשת מועמדותהגש מועמדות
עדכון קורות החיים לפני שליחה
עדכון קורות החיים לפני שליחה
7715728
סגור
שירות זה פתוח ללקוחות VIP בלבד