לוח משרות דרושים, לחיפוש זה נמצאו 504 משרות

Required Senior SoC Formal Verification Engineer, Cloud
About the job
Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of our direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
Our mission is to build the best cloud in the world for our services and for our Cloud customers, by solving real world business issues of performance, cost, and scale, utilizing hardware, software, and system solutions. To better serve evolving cloud needs, we are establishing a team in Israel to develop custom chips for servers.
In this role, you will perform formal verification of design properties of complex ASIC designs. You will collaborate closely with design and verification engineers to define meaningful properties that capture the design intent of a logic block and constraints on its input stimulus. You will also help define and improve design and verification methodologies that allow you to achieve formal verification closure.
Our mission is to organize the world's information and make it universally accessible and useful. Our team combines the best of AI, Software, and Hardware to create radically helpful experiences. We research, design, and develop new technologies and hardware to make computing faster, seamless, and more powerful. We aim to make people's lives better through technology.
Responsibilities
Plan the formal verification strategy and create the properties and constraints for complex digital design blocks.
Utilize formal property verification tools combined with formal verification closure techniques to verify properties and apply sign-off to blocks.
Pioneer and refine formal verification methodologies by systematically embedding AI tools to optimize verification accuracy.
Architect and implement reusable formal verification components.

We are seeking an Architect to join our growing team. This is an opportunity to be part of a collaborative, innovative environment, delivering world-class design solutions for leading global clients.
We design some of the most complex and specialized facilities in the world-including semiconductor manufacturing plants, data centres, and other advanced technology environments. If youre motivated by technically challenging projects and enjoy working in a dynamic, multi-disciplinary setting, wed love to hear from you.
About the Role:
You will work as part of a highly interactive, multi-disciplinary team, contributing to the design and delivery of advanced industrial and high-tech facilities. This role offers the chance to develop your expertise across all project stages while collaborating with engineers and specialists to create integrated, high-quality solutions.
Were looking for someone who is curious, proactive, and collaborative, with strong communication skills and a passion for delivering impactful design.
Key responsibilities include:
Lead and coordinate architectural design activities within a defined project scope, working closely with multi-disciplinary engineering teams
Deliver architectural design solutions using 2D and 3D integrated design platforms
Perform quality reviews of models and architectural deliverables to ensure accuracy and compliance
Participate in design reviews, risk assessments, and vendor evaluations
Support the preparation of effort estimates and design deliverables for the architectural discipline
Contribute across all project phases, including concept design, master planning, design development, and construction support
Collaborate effectively in a fast-paced, deadline-driven environment.

we are looking for an experienced Electronics Engineer to join our growing R&D Hardware team and lead and deliver Hardware projects.
A day in the life and how youll make an impact:
Architect and develop electrical modules from concept through production, including PCB design for new systems and continuous improvement of existing ones.
Bring new components and sensors into product line, working across power supply, communication protocols (I2C, Ethernet, UART), and supporting modules
Serve as the go-to expert for diagnosing and resolving complex electrical faults - you set the standard for root-cause problem-solving.
Partner closely with systems engineers, mechanical engineers, and software teams to shape next-generation features and products from the ground up.
Manage subcontractor relationships for end-to-end module delivery, ensuring quality and timelines stay on track.

Join our company as a DFT Engineer, where you will lead the design for testability (DFT) efforts to ensure optimal manufacturing and quality assurance processes for complex electronic systems.
Responsibilites
Implement DFT methodologies to improve the testability and manufacturability of electronic products and PCB assemblies.
Review schematics and PCB layouts, ensuring compliance with DFT guidelines and recommending improvements for enhanced test coverage.
Collaborate with hardware design teams to integrate DFT solutions during product development.
Perform test coverage analysis using TestWay or similar tools, define test point requirements, identify coverage gaps, and provide recommendations to development teams.
Define and maintain manufacturing test strategies, including ICT, Flying Probe, Functional Testing, and Boundary Scan (JTAG).
Develop, configure, and execute JTAG/Boundary Scan tests and create test programs for validation and production environments.
Lead test pattern generation, validation, and troubleshooting activities to ensure efficient and reliable testing.
Analyze and resolve DFT-related issues throughout development, validation, and production phases.
Define requirements for Automated Test Equipment (ATE) and support the deployment and maintenance of production test systems.
Provide technical leadership and mentorship to engineers while driving continuous improvements in testability and manufacturing processes.

As an Analog Layout Automation Engineer, youll convert design concepts into silicon by collaborating with circuit designers and using advanced, including AI-powered, CAD tools to create high-performance analog and mixed-signal layouts. You will review floor plans, analyze circuits, run verification suites, and resolve LVS/DRC/ERC issues to deliver next-generation SOCs. Youll also drive automation by developing scripts, improving workflows, and applying AI/ML for layout optimization, verification acceleration, advanced modeling, intelligent quality metrics, reduced manual effort, and data-driven design insights.

We are seeking a motivated Senior System Validation Engineer to join our growing post-silicon validation team in Israel and support next-generation connectivity products for AI and data-center applications.
In this role, you will perform system-level post-silicon validation, characterization, and debug across silicon, hardware, firmware, and software. You will support silicon bring-up and PVT/corner testing, develop and execute functional and system validation tests, analyze results, and work with cross-functional teams to identify and resolve complex system issues.
This is a highly hands-on lab position. The primary location is Haifa, with temporary support at the Ramat Gan lab as needed.
Key Responsibilities:
Develop and execute post-silicon functional and system validation from silicon bring-up through production readiness.
Run PVT, silicon corner, stress, characterization, and qualification testing across a wide range of operating conditions.
Develop validation tests to verify functionality, performance, stability, power, and operating margins.
Debug issues across silicon, hardware, firmware, drivers, and system software.
Validate high-speed interfaces such as PCIe, CXL, Ethernet/SerDes, and DDR, as well as common system interfaces.
Develop Python scripts and automation to improve validation coverage, regression, and test efficiency.
Analyze validation data, identify issues and trends, and drive problems to root cause and closure.
Work closely with hardware, architecture, firmware, software, design, and DV teams to investigate and resolve issues.
Support the transition of new silicon from initial bring-up to a qualified, production-ready product.
Operate system platforms and laboratory equipment to support validation and debug.
Document test results, issues, root cause, and recommendations and communicate findings clearly.

At Infinidat, a Lenovo company, we empower enterprises and service providers with cutting-edge storage platforms that redefine performance, reliability, and cyber resilience at scale. We’re looking for passionate and bright individuals who wish to take part in the design, development and all technical-related aspects of INFINIDAT NAS team. The selected candidate will be part of a professional team that develops in C++ over Linux high-performance, multi-threaded, clustered, mission-critical, server-side products.

Responsibilities:

* Design, develop, and maintain SW components for NAS, including file system management .
* Implement & optimize network file-sharing protocols (NFSv3/4, SMB/CIFS, S3).
* Troubleshoot and resolve complex issues related to performance, data integrity, and reliability through clustered env.
* Collaborate with QA, PM and other RnD groups (Core, UI/CLI, mgmt API, platform/HW).
* Write clean, well-tested, maintainable code and participate in code reviews.
* Improve code quality (python suites, code coverage, static analysis, memory leak detection).
* Contribute to system architecture decisions, especially around scalability, high availability, and fault tolerance.
* Monitor and improve system performance under high I/O and concurrent access conditions.
* Document technical designs, APIs, and operational procedures.

We are seeking a talented and experienced Software Engineer to design, build, and optimize high-performance distributed systems, core data engines, and backend infrastructure. This role requires deep system-level architecture understanding, the ability to handle large-scale clusters processing petabytes of data, and mastery of modern C/C++ and Linux environment internals.
Key Responsibilities
Design & Develop Core Components: Build, maintain, and optimize highly scalable, resilient distributed services, storage engines, or data-processing pipelines written in C/C++.
System Architecture & Resilience: Drive architectural discussions and implementations around high availability, data consistency, replication mechanisms, fault tolerance, and multi-node concurrency.
Performance Optimization: Optimize hot execution paths, low-level data structures, memory management, and I/O subsystems to guarantee high throughput and minimal latency.
Complex Debugging & Troubleshooting: Investigate and resolve intricate production issues spanning the application layer, distributed networking protocols, file systems, and operating system kernels.
End-to-End Ownership: Take full technical ownership of critical features-from ambiguous requirements and system design through implementation, rollout, and observability in production environments.

We are seeking a talented and experienced Software Engineer to design, build, and optimize high-performance distributed systems, core data engines, and backend infrastructure. This role requires deep system-level architecture understanding, the ability to handle large-scale clusters processing petabytes of data, and mastery of modern C/C++ and Linux environment internals.
Key Responsibilities
Design & Develop Core Components: Build, maintain, and optimize highly scalable, resilient distributed services, storage engines, or data-processing pipelines written in C/C++.
System Architecture & Resilience: Drive architectural discussions and implementations around high availability, data consistency, replication mechanisms, fault tolerance, and multi-node concurrency.
Performance Optimization: Optimize hot execution paths, low-level data structures, memory management, and I/O subsystems to guarantee high throughput and minimal latency.
Complex Debugging & Troubleshooting: Investigate and resolve intricate production issues spanning the application layer, distributed networking protocols, file systems, and operating system kernels.
End-to-End Ownership: Take full technical ownership of critical features-from ambiguous requirements and system design through implementation, rollout, and observability in production environments.
Teams
Storage Platform: Focuses on building a next-generation distributed storage platform handling petabytes of data across large clusters specifically designed to power AI, enterprise, and analytics workloads. Handling everything that touches the hardware and operating system aspects in a software defined storage system
Data Path: Focuses on engineering a highly distributed, latency-critical Hot I/O Data Path and Element Store engine. This role is responsible for the ingestion, state-of-the-art compression, encoding, and retrieval of multi-protocol data (files and objects) under massive concurrency and ultra-low latency requirements.
Database: Focuses deeply on core relational database internals, specifically designing low-level storage engines, B-Tree/LSM-Tree data structures, MVCC concurrency control, and query execution planners.
Kernel: Focuses on the lowest software layers, emphasizing Linux Kernel development and block-level storage/file system engineering.
Protocols: Focuses strictly on engineering high-concurrency data/metadata paths that replicate external AWS S3 object-storage behavior and correctness under heavy retry and failover pressure.
Cloud: Focuses on cloud-native storage deployment, adapting and scaling complex high-availability storage infrastructure across major hyper-scaler cloud environments (AWS, Azure, GCP).
Compute Kafka: Focuses on distributed event-streaming and messaging platforms, specifically building a high-scale, exactly-once broker compatible with the Apache Kafka wire protocol.

We are looking for a Senior Product Designer who designs products and builds the tools that change how design gets done.

This role has two halves. You will own the design of a core area of the platform, end to end, at the same craft bar as everyone else on the team. Alongside that, you will build the agents, skills and internal tools that reshape how our whole design team works., and prove them on your own product area first.

We think these belong together. Someone rebuilding the workflow should be living inside it every day, so what they build survives contact with real product work. If you have been quietly automating your own design process and wishing it were your actual job, this is that job.

We already have an AI agent in the product. It works, it is early, and it is nowhere near what it should be. How far it goes, and what it grows into, is genuinely open. The designer who understands agents best will have a real voice in answering that.

This is an individual contributor role. You will mentor, and you will change how the team works, but you will not manage people.

Key Responsibilities:

Own a core product area: Take full design ownership of a significant surface, from discovery through shipped experience and beyond launch, working directly with product and engineering.
Build the agentic design toolchain: Create and maintain the skills, agents and commands the design team uses day to day, covering the path from ticket to reviewable prototype.
Prototype in working code: Move from problem statement to a clickable, testable artifact quickly by orchestrating agents to do the building while you review, steer and cut.
Orchestrate agents through a product cycle: Decide what gets delegated, what stays human, and where the human gate sits, then write it down so others can repeat it.
Make new ways of working stick: Run the rituals that turn tools into habits. Prototyping sprints, office hours, pairing, internal demos, and the documentation behind them. Retire what does not earn its place.
Keep us honest about quality: Define how we know an agent output is good, build lightweight checks for what you ship, and tell us plainly when the agentic path is worse than the manual one.

As R&D researcher, you will conduct researches & investigation in variant fields , to develop and shape HP Indigos future platforms.

Responsibility on the printing process development of tomorrow's HP Indigo engines to meet print quality and cost targets

Study and optimize physical process parameters and materials to achieve best in class print quality

Design, perform, analyse and summarize experiments involving multi-disciplinary knowledge. Share findings with relevant stakeholders both in technical community and at management level

Convert marketing requirements into engineering requirements, based on theory and experiments

Develop and improve quantitative measurement methodologies

Develop physical models to characterize systems, interactions between subsystems, understand physical mechanisms and define critical parameters

Working with a diverse group of physicists and engineers helping to solve complex problems.

Were looking for a Low-Level Developer to join the team - someone who loves working close to the kernel, cares deeply about performance, and wants their code measured in nanoseconds and bytes.
What You'll Do:
Design and build the in-cluster sensor that powers groundcover's observability platform
Write low-overhead, high-performance instrumentation using eBPF and Go
Tackle hard problems in Linux internals, networking, and protocol parsing
Push the boundaries of what can be observed without modifying customer code
Ensure the sensor runs reliably across a huge variety of kernels, distros, and Kubernetes setups
Collaborate with backend, infrastructure, and product teams to ship features end to end

At our company, we empower enterprises and service providers with cutting-edge Storage platforms that redefine performance, reliability, and cyber resilience at scale. Were looking for passionate and bright individuals who wish to take part in the design, development and all technical-related aspects of INFINIDATs R&D Department The selected candidate will be part of a professional team that develops in C ++ / Python / JAVA over Linux high-performance, multi-threaded, clustered, mission-critical, server-side products.
Responsibilities:
* Design and development of C ++ / Python / JAVA code according to product requirements.
* Addition of new features, as well as maintenance, refactoring and improvement of existing products and code bases.
* Accountability for code standards, quality and performance.

Cortex is expanding. We combine the high energy of a startup with the massive resources of the worlds cybersecurity leader. We aren't just processing data; we are managing hundreds of petabytes of it, waiting Cortex for you to apply your "magic" to invent the next generation of threat detection. As a Principal Software Development Engineer, you will be a cornerstone of the Cortex Detection Backend team. This role is designed for a technical powerhouse who thrives in the "sweet spot" between high-level architectural strategy and hands-on execution. You will influence our product roadmap, mentor elite engineers, and build systems that protect thousands of the world's most sensitive organizations.
Key Responsibilities
Architect & Innovate: Design and build a new set of capabilities focused on Data Analytics and Threat Detection. You will solve cloud security challenges that have never been tackled before.
Scale Without Limits: Ensure our microservices architecture remains robust and resilient under massive loads, processing millions of events per second.
Technical Leadership: Act as a technical sounding board and mentor. You will guide design discussions, conduct deep-dive research, and foster a culture of engineering excellence.
Strategic Collaboration: Work closely with Product Management, R&D leaders, and Security Researchers to define requirements and turn ambiguous problems into elegant technical solutions.
Drive Execution: Take ownership of the software development life cycle, ensuring high-velocity delivery in a fast-paced Agile environment.

The Forward Deployed Designer makes sure the concept lands. You make sure the product does. You're the human who turns our tech pack into a finished good - sitting on factory floors in Tirupur, walking trim markets in Guangzhou, vetting a leather supplier in Porto.

You'll own the manufacturing relationship for our enterprise accounts. Onboard new factories to our network. Negotiate MOQs and FOB terms. Run sample reviews. Solve the inevitable problems that come up between approval and bulk delivery - the wrong stitch, the missing trim, the customs delay - before they become customer fires.

You're the reason a designer in Tel Aviv can trust that what they generated on Tuesday gets shipped from a factory four time zones away by next month.

What you'll actually do

Own enterprise customer sourcing end-to-end - RFQ to bulk delivery.

Vet, onboard, and manage factories in our manufacturer network across Asia, Europe, and LATAM.

Negotiate pricing, MOQs, lead times, and payment terms - both sides of the table.

Run sample reviews on-site (40-50% travel - Tirupur, Bangkok, Guangzhou, Porto, Istanbul, etc.).

Translate factory feedback into product asks that improve Genpire's tech-pack-to-production handoff.

Build the playbook: SOPs, quality checklists, and onboarding flows that scale beyond you.