לוח משרות דרושים מהנדס מחשבים

Requirements:
What we need to see:

MSc or Ph.D. or equivalent experience in Computer Science, Computer Engineering, or a related field.

8+ overall years of hands-on experience in software engineering, with a proven track record of leading or mentoring technical teams.

3+ years of managerial experience.

Tech Stack: Expert-level proficiency in Python, with strong familiarity with modern AI frameworks (PyTorch, LangChain, LlamaIndex).

Research to Production: A proven ability to digest complex technical literature (papers, blogs) and implement those concepts in a working software product.

Product Management Approach: Experience in requirements gathering, user research, or internal tool development.

Operational Excellence: Proven understanding of modern CI/CD, containerization (Docker/Kubernetes), and MLOps standards on the software stack side.

Ways to stand out from the crowd:

Domain Hybrid: Deep background in both AI/ML and High-Performance Computing (HPC) systems.

Agentic Experience: Hands-on experience building autonomous agents that interact with external tools or APIs.

Internal Tools: Prior experience building developer platforms or productivity tools for engineering organizations.

Requirements:
B.Sc. in Electrical Engineering or Computer Engineering.
5+ years of experience in RTL design or RTL verification.
Previous experience in networking - an advantage.
A team player with good communication and interpersonal skills.

Requirements:
5+ years of experience in RTL design or RTL verification.
Previous experience in networking - an advantage.
B.Sc. in Electrical Engineering or Computer Engineering.
A team player with good communication and interpersonal skills.

Requirements:
Senior Formal Verification engineer - Networking (6034) A unique opportunity to take part in building an R&D team for a global company.
We are seeking highly experienced and visionary formal Verification engineers to contribute to the development of advanced AI connectivity architectures and help define the formal verification methodology from the ground up.
Responsibilities:
Define and execute formal verification strategies and methodologies for complex SoCs, IPs, and networking architectures (Switches, NICs, SmartNICs).
Develop, implement, and maintain formal verification environments and TEST plans from concept to production.
Specify formal properties, assertions, and constraints using formal tools and SystemVerilog Assertions (SVA).
Own the formal verification environment, including setup, maintenance, and integration with simulation-based flows.
Collaborate closely with architecture, RTL, and design teams to identify corner cases, ensure functional correctness, and drive verification sign-off.
Act as a key contributor in shaping the formal verification infrastructure and methodology of the new Israeli site.
Qualifications:
B.Sc. in Computer Science or Computer Engineering.
8+ years of industry experience in formal verification.
Proven experience with JasperGold, VC Formal, or similar formal verification tools.
Demonstrated ownership and maintenance of formal verification environments.
Strong analytical and problem-solving skills.
Team player with excellent interpersonal and communication abilities.
Advantages:
Experience as a Verification engineer with practical knowledge of SystemVerilog and UVM methodology.
Familiarity with networking architectures and IPs (Switches, NICs, SmartNICs).
Experience integrating formal verification within broader project verification flows. 

Requirements:
Degree - BSc in Computer Science, Systems Information, System Analysis, Computer Engineering, Industrial Engineering or equivalent
Minimum 5 years of experience in managing or contributing to large-scale programs - a must
Experience in working in a global environment with customers - a must
Experience in managing complex technical systems in the telecom, security, or information domains
Strong multitasking capabilities
Ability to travel abroad (medium frequency)
Excellent interpersonal and cross-cultural skills
Knowledge of project management methodologies
Fluent English
Spanish or French - an advantage

Requirements:
* Bachelors degree in Electrical, Electronics, or Computer Engineering.
* 3-4 years of experience in FPGA/ASIC verification.
* Strong proficiency in SystemVerilog or Specman (e) Experience with structured verification methodologies such as UVM, OVM, or VMM.

Requirements:
Deep understanding of Virtualization (ESXi, vCenter, Hyper-V)
3+ years of working with Linux
Strong cloud infrastructure knowledge (AWS & Azure)
Strong networking experience
Customer facing abilities
Strong problem solving and communication skills
Willingness to visit our customers on-site (Israel)
Must be willing to undergo a high security clearance process
Good familiarity with hardware
High level of English - verbal & written
Nice to have:
Networking Certifications: CCNA / CompTIA Network+
Cloud Certifications: AWS Certified Cloud Practitioner, Microsoft Azure Certified - Fundamentals.
Experience with scripting skills in: Bash, Python (PowerShell an advantage)
Docker Experience
Great interpersonal skills
Project Management Experience
Experience with setting up, maintaining, and purchasing commodity server hardware
Background in cyber security practices
Existing high security clearence in effect

Requirements:
5+ years of experience in digital signal processing, with a strong focus on algorithm development and implementation.
Bachelor's or Master's degree in Electrical Engineering, Computer Science, or a related field.
Solid understanding of Digital Communication Theory (OFDM, Modulation, Error Correction, Filters, FFTs).
Team player, with strong communication, collaboration, active listening, and problem-solving skills.
Hands on experience in C, C++ and Python
Proven experience with GPU (OpenCL) and ARM programming is highly desirable.
Extensive experience in C++ development, including performance tuning and optimization
Advantages:
Familiarity with real-time DSP applications and platforms, such as FPGA or Embedded processors.
Extensive startup experience (proactive, all-hands-on-deck mentality).

Requirements:
BSc/MSc in computer science/computer engineering or equivalent
8+ years of experience in systems programming and distributed computing
5+ years of leadership experience managing technical teams
Expert-level C/C++ programming with focus on performance optimization
Experience with NPU programming (Triton / CUDA / HIP / OpenCL)
Deep understanding of distributed systems, communication protocols, and network programming
Experience with DL/ML frameworks (PyTorch, TensorFlow) and distributed training / inferencing
Experience with performance profiling and optimization tools
Strong communication and interpersonal skills
Preferred Qualifications
Experience with NPU communication library development
Contributions to open-source projects (PyTorch, TensorFlow, communication libraries)
Familiarity with containerization and orchestration
Interoperability experience with partners, vendors and external teams.

Requirements:
B.Sc/M.Sc degree in Electrical Engineering or Computer Science from a recognized university.
A minimum of 5 years of experience in radio-based systems, with at least 2 years in a role such as a communication systems engineer, communication algorithms engineer, RF engineer, or a firmware engineer focused on system-level issues.
Hands-on experience in research and development of communication protocols, such as operating RF test equipment, activating sniffers and analyzing their LOGs, analyzing system LOGs.
Hands-on experience in a scripting language, like Python, JavaScript or MATLAB.
Deep understanding of multidisciplinary communication systems.
Team player with excellent communication skills, ability to lead tasks within the company and the desire to take on diverse challenges.
Advantage: Knowledge in common wireless protocols.

Requirements:
MSc or BSc in computer science/EE or area related to computer architecture, or equivalent research experience in industry
At least 7 years of relevant research and development experience in industry and academia in the following areas:
Computer architectures: instruction set architecture, microarchitecture, cache sub-system, memory sub-system, NOC, interconnect
Workload characterization and analytical model generation
System Modelling and emulation of HW.
Simulation of Software workloads and Software applications on HW simulator
Ability to provide innovation and global vision throughout the company
Excellent communication, presentation and reporting skills
Experience working with highly technical teams and communicating to non-technical partners.
Excellent oral and written English.
Responsibilities:
Develop and analyze performance and power features in our cycle accurate pre-silicon model and improve the accuracy of the current Server system simulator
Design the architecture of the new generation system simulation platform that will be used to analyze performance of Server (Compute and AI) workloads and identify performance bottlenecks
Develop new technologies, methodologies and tools for simulation. Analysis and debug of applications and workload on Huawei servers
Propose and simulate optimizations and innovations on the HW and SW in order to improve server performance for given workloads
Distribute the simulation platform, train and support other teams in China and in Europe using the simulation platform, technology and methodology.

Requirements:
BSc or higher degree in Computer Science/Engineering or related discipline from a leading university. (Alternatively, exceptional proven track record in similar tasks)
3+ years of experience in one or more of following disciplines: development of simulators/emulators for CPUs, definition of CPU features, HW/SW co-design, Low level performance profiling and optimization of SW with exposure to CPU ISA
Fluent spoken and written English
Behavioral skills: Team player. Interpersonal skills needed to collaborate with colleagues towards achieving a technical goal
Advantageous qualifications:
Experience in SW/HW codesign or in definition of new instructions will be a great advantage
Familiarity with dense compute workloads and analysis (e.g., AI, HPC, financial, etc.)
Familiarity with Vector Architectures.

Requirements:
BSc or higher degree in Computer Science/Engineering or related discipline from a leading university. (alternatively, exceptional proven track record in similar tasks)
5+ years experience in one or more of following disciplines : definition of CPU Architectural features, HW/SW co-design (or SW defined HW), Low level performance profiling and optimization of SW with exposure to CPU ISA, Architecture verification, definition of HW/SW security technologies
Fluent spoken and written English
Behavioral skills: Team player. Although this is not for a manger position, we require interpersonal skills needed to lead partners and colleagues towards achieving a technical goal.