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

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.

abra R&D is seeking a Verification Engineer. We are looking for a skilled Verification Engineer to join a professional and dynamic team and take part in advanced, diverse technology projects in the fields of FPGA Verification, signal processing, controllers, and more. This role requires extensive experience in Verification, UVM methodology, SystemVerilog, FPGA / ASIC verification environments, RTL debugging, simulation tools, scripting, and working closely with FPGA development, system, architecture, and algorithm teams. Key Responsibilities:
* Develop verification environments using UVM methodology for FPGA verification across various projects.
* Work on verification projects involving signal processing, controllers, and additional advanced technologies.
* Define, architect, and develop verification environments from block-level to full-chip level.
* Work closely with FPGA development teams, system engineers, architecture teams, and algorithm engineers.
* Support RTL debugging from block level to system level.

We're looking for Electrical Engineering graduates to join the Pre-Silicon Verification Team based in Haifa.

As a Junior Pre-Silicon Verification Engineer, you'll work at the heart of chip development, collaborating across teams to ensure our semiconductor platforms meet the highest standards before they reach production.
IO verification team will expose you to the most advanced technologies , as we lead the market with our leaving devices - youll soon have to expertise most advance protocols

A day in the life
In this role, you'll engage in pre-silicon verification work that connects every phase of our product development journey- from initial product definition through firmware and software development.
You'll collaborate with hardware designers, software engineers, and cross-functional teams to validate complex semiconductor architectures and protocols.
Your days might include developing and executing verification test plans, analyzing simulation results, troubleshooting design issues, and participating in design reviews.
You'll work with advanced verification methodologies and tools, gaining exposure to cutting-edge technologies that define the next generation of cloud infrastructure.

The Networking Diagnostics team is seeking a highly motivated and experienced engineer. This person must have hands-on technical expertise to develop critical diagnostic tools for our newest, world-leading networking platforms. This position offers the opportunity to have a real impact in a dynamic, technology-focused company, impacting data centers and high-performance computing (HPC) clusters across the world. We are looking for independent engineers who excel in a fast-paced environment and are passionate about ensuring the stability of next-generation hardware.

What you'll be doing:
Design & Implement: Architect and develop high-performance diagnostic tools and frameworks using Python, tailored for our latest networking platforms.
Performance Optimization: Drive end-to-end development focusing on software that performs efficiently, ensuring diagnostic suites can handle high-throughput data and real-time monitoring without latency.
System Diagnostics: Take charge of developing features that bridge the gap between complex hardware behaviors and software-level diagnostics.
Collaborative Problem Solving: Partner with hardware, firmware, and driver teams to address real-world challenges that demand innovative solutions and a customer-centric approach.
Autonomous Execution: Own the full software development lifecycle of diagnostic features, from initial hardware specification to deployment in dynamic environments.

As a Software Development Engineer in Test on our team, you will own the quality of Nitro card embedded software and firmware. You will design, develop, and maintain test automation for embedded systems and components, covering hardware interface verification, real-time firmware behavior validation, firmware update integrity, and fleet-scale deployment confidence. You will collaborate closely with firmware development teams to troubleshoot complex system-level problems at the hardware-software boundary and ensure timely delivery of high-quality Nitro card software to AWS Cloud solutions.

Key job responsibilities
- Own the firmware test automation framework - architect, develop, and extend a Python-based validation solution that scales across multiple Nitro card generations and hardware platforms, automating test coverage across the full firmware stack from boot sequences through board management layers and card-level system integration.
- Design and implement traceable, specification-driven test cases that validate firmware functional correctness, fault tolerance, and performance across hardware components, communication interfaces, and cross-subsystem interactions.
- Optimize CI/CD pipelines by integrating pre-merge and post-merge firmware validation, defining trigger policies per hardware generation, enforcing coding-standard compliance, and reducing commit-to-validated cycle time.
- Troubleshoot complex embedded system failures by analyzing firmware logs, system traces, and hardware diagnostics, then translate field incidents into targeted regression suites that prevent recurrence.
- Collaborate with firmware and hardware teams during new-generation silicon bring-up, define test plans, drive quality gates for production release, and mentor teammates on testing best practices and system architecture.

A day in the life
You start your morning reviewing overnight CI results and triaging any firmware validation failures flagged across active Nitro card generations. Mid-morning, you pair with a firmware engineer to debug a boot-sequence regression discovered during pre-merge testing, using hardware-in-the-loop test benches and system traces. After lunch, you join a design review for a next-generation Nitro card, providing input on testability and proposing validation strategies for new subsystem interfaces. Later, you refine your test framework to improve coverage for a recently released feature, then wrap up by sharing your findings in a team knowledge-sharing session.

We're looking for an experienced Backend Engineer to join a highly skilled R&D team of exceptional peers. You are a builder at heart - someone who deeply understands distributed systems and takes pride in shipping efficient, resilient code.
We need an engineer who instinctively drives projects forward, stepping in smoothly whether its designing greenfield architecture or tackling complex engineering problem. If you are passionate about your craft, naturally curious about modern engineering paradigms, and prioritize collective success, we want you on our team.
What You'll Do:
Drive the end-to-end development of critical backend components - from research and system design to deployment, observability, and long-term maintenance.
Serve as a trusted voice in technological and architectural decisions, balancing rapid execution with pragmatic, scalable system design.
Architect and facilitate full agentic workflows, integrating AI capabilities directly into our core platform.
Act as an autonomous executor who seamlessly collaborates with the broader team, elevating engineering standards and delivering top-tier value to our customers.

we are looking for a Senior Backend Engineer with a strong passion for AI and intelligent systems to join our growing R&D team.
In this role, youll be building the backend foundation that powers our AI-enhanced security analytics, autonomous detection, and real-time decisioning systems. Youll work closely with AI engineers, product, and security experts to bring agentic intelligence into our companys runtime platform - transforming how modern apps defend themselves.
Youll architect and implement services that scale to massive volumes of runtime data, integrate large language models (LLMs), and support RAG-based workflows for contextual understanding and response.
Youll Be Great For This Role If You Love To:
Design and build scalable, resilient backend services that power our companys AI-driven runtime security platform.
Integrate LLMs and agentic AI components into production environments to enable autonomous detection and remediation capabilities.
Design evaluation frameworks for measuring model performance and reliability in real-world conditions.
Develop Retrieval-Augmented Generation (RAG) pipelines tailored to application security data.
Own backend architecture decisions - from data modeling to performance optimization - across Node.js, Python, and cloud-native environments.
Contribute to our infrastructure, leveraging CI/CD, Kubernetes, Docker, and modern observability practices.
Mentor peers and help shape our companys AI engineering culture.

We are looking for a Backend / Data Engineer to join our Core Data Pipeline team. In this role, you will be responsible for building and scaling the engine that processes our high-throughput, real-time telemetry data.
Our pipeline handles billions of events per second, performing real-time processing, data enrichment, and other transformations. If you thrive on solving high-scale, low-latency distributed systems challenges - this is the place for you.
What Youll Do:
High-Scale Engineering: Design, build, and maintain our central data processing pipeline, handling massive volumes of logs and traces at extreme scale.
Transform & Enrich: Architect real-time stream processing systems to perform complex data transformations and enrichments in real time.
Performance & Efficiency: Optimize system throughput, reduce memory footprints, and minimize latency across distributed clusters.
Architecture & Reliability: Take full ownership of feature lifecycles - from design and system architecture to production monitoring and resilience.
Our Stack:
Scala, Rust, Node.js
Kafka
Kafka Streams / Akka Streams
ClickHouse, Redis
Kubernetes
AWS.

we are revolutionizing Ecommerce with the first agentic operating system for ecom scale.
this end-to-end platform helps product inventors and entrepreneurs turn their products into successful direct-to-consumer businesses, addressing the three key challenges of ecom scale: poor product bets, lack of scale infrastructure, and the need for often-complex financing.
with a connected system of ai agents built on a unified data infrastructure, the os analyzes scale-market fit, replaces the fragmented tools, agencies, and manual workflows that typically power ecom growth, and offers the financing needed for dtc scale.
the role
we are looking for a senior backend engineer to architect the high-performance backbone of our platform.
you will build the agentic architecture- the distributed systems, task-orchestration layers, and Real-Time execution environments that allow ai agents to perceive the market and act autonomously
what you'll do
architect agentic service infrastructure: design and scale the high-concurrency backend services and distributed systems that power our ai agents' Real-Time decision-making.
build the rag & execution engine: engineer the backend services for vector search, context-aware retrieval, and the "memory" layers required for agentic workflows.
develop high-performance extraction systems: build resilient, distributed crawling and scraping services that function as the "sensory" input for our engine.
system orchestration: manage the integration of llms and predictive models into the core product api, ensuring low-latency execution and high system reliability.
define engineering excellence: establish backend architectural patterns, coding standards, and service-oriented best practices for the entire engineering team.

Required Principal Software Engineer (Secure Agentic AI) - Petach Tikva \ Be'er Sheva
Job Summary:
Were building foundational infrastructure to secure AI agents-including their identities, access patterns, and interactions with sensitive systems and data.
This includes designing intelligent, dynamic mechanisms for ephemeral access control, secrets management, and agent and user identity tailored to the modern agent ecosystem.
As a Staff Engineer, youll take ownership of these critical systems, designing and implementing how agents establish identity, receive dynamic access, securely interact with sensitive systems, and leave verifiable audit trails. Youll shape the long-term architecture, anticipate technical risks, and evolve systems that span both machine- and human-facing workflows.
This is a rare opportunity to combine hands-on engineering with technical leadership-writing critical code, mentoring engineers, sharing knowledge, and driving best practices-while building a platform from the ground up at the cutting edge of AI, identity, and security.
Responsibilities:
Own and guide the technical direction of core platform domains, including agent identity, authentication, authorization, and secrets management,
shaping architectures that span multiple services and teams while balancing scalability, reliability, and security.
Lead by example through high-impact implementation, mentoring engineers, and helping them navigate complex technical tradeoffs.
Proactively identify critical technical problems or gaps, and drive solutions from concept through delivery.
Establish and promote engineering best practices, ensuring high standards for code quality, security, and operational excellence.
Communicate complex technical concepts clearly to engineers, architects, product managers, and stakeholders, influencing decisions, fostering alignment, and driving cross-team collaboration.
Document key decisions, patterns, and practices to elevate team knowledge and ensure consistency across the platform.
Advocate for continuous improvement and operational efficiency, helping the team work smarter while maintaining a secure, high-quality platform.

We are looking for a Senior Full Stack Engineer to join a high-impact, multi-disciplinary team building a customer-facing product trusted by health industry specialists. This team is solving complex technical challenges with a modern stack to power Eleos core growth engine.
In this role you will collaborate closely with other R&D, Product, and Data teams.
What Youll Do :
Architect & Build: Design and develop high-quality, scalable, production-grade systems, ensuring exceptional performance, reliability, and maintainability.
Own E2E Lifecycle: Drive the entire development cycle from initial ideation to production- including architectural design, CI/CD deployment, and proactive live monitoring.
Elevate Engineering Standards: Actively participate in code reviews, mentor peers, and uphold best practices across the engineering organization.
Collaborate Cross-Functionally: Partner with Product, Data, and compliance stakeholders to translate complex clinical and business needs into elegant technical solutions.

We are seeking a Staff Software Engineer to serve as a technical anchor for our Identity Authentication engineering team. Driving the modernization of core, mission-critical authentication domains across our primary product, delivering massive impact at scale. You will drive the architectural design, technical roadmap, and implementation of high-throughput, mission-critical SaaS services using AWS architecture, AWS CDK, and .NET. In addition to technical execution, you will mentor engineers, guide design decisions across teams, and ensure our systems satisfy demanding scalability, security, and performance standards (NFRs).
Your Impact:
Architectural Leadership: Drive end-to-end design and system architecture for enterprise-grade Identity & User Management cloud services.
Technical Strategy: Partner with Product Managers and Security Architects to translate complex identity and cybersecurity requirements into scalable software architecture.
Engineering Standards: Elevate technical excellence across the team by setting standards for code quality, resilience, telemetry, and automated testing.
Mentorship & Growth: Technical coaching and mentoring for mid-level and senior engineers to foster team growth and best practices.
Innovation & Problem Solving: Solve complex system bottlenecks, evaluate emerging tech stacks, and optimize AWS infrastructure costs and performance.

We are seeking a Staff Software Engineer to serve as a technical anchor for our Identity Authentication engineering team. Driving the modernization of core, mission-critical authentication domains across our primary product, delivering massive impact at scale. You will drive the architectural design, technical roadmap, and implementation of high-throughput, mission-critical SaaS services using AWS architecture, AWS CDK, and .NET. In addition to technical execution, you will mentor engineers, guide design decisions across teams, and ensure our systems satisfy demanding scalability, security, and performance standards (NFRs).
Your Impact:
Architectural Leadership: Drive end-to-end design and system architecture for enterprise-grade Identity & User Management cloud services.
Technical Strategy: Partner with Product Managers and Security Architects to translate complex identity and cybersecurity requirements into scalable software architecture.
Engineering Standards: Elevate technical excellence across the team by setting standards for code quality, resilience, telemetry, and automated testing.
Mentorship & Growth: Technical coaching and mentoring for mid-level and senior engineers to foster team growth and best practices.
Innovation & Problem Solving: Solve complex system bottlenecks, evaluate emerging tech stacks, and optimize AWS infrastructure costs and performance.

We are seeking a Staff Software Engineer to serve as a technical anchor for our Identity Authentication engineering team. Driving the modernization of core, mission-critical authentication domains across our primary product, delivering massive impact at scale. You will drive the architectural design, technical roadmap, and implementation of high-throughput, mission-critical SaaS services using AWS architecture, AWS CDK, and .NET. In addition to technical execution, you will mentor engineers, guide design decisions across teams, and ensure our systems satisfy demanding scalability, security, and performance standards (NFRs).
Your Impact:
Architectural Leadership: Drive end-to-end design and system architecture for enterprise-grade Identity & User Management cloud services.
Technical Strategy: Partner with Product Managers and Security Architects to translate complex identity and cybersecurity requirements into scalable software architecture.
Engineering Standards: Elevate technical excellence across the team by setting standards for code quality, resilience, telemetry, and automated testing.
Mentorship & Growth: Technical coaching and mentoring for mid-level and senior engineers to foster team growth and best practices.
Innovation & Problem Solving: Solve complex system bottlenecks, evaluate emerging tech stacks, and optimize AWS infrastructure costs and performance.

Prisma-Photonics is a rapidly growing startup company, developing the next-generation smart-infrastructure solution based on novel fiber-sensing technology (smart roads, smart cities, perimeters, and grid monitoring, etc.). The company offers an award-winning disruptive solution; a “sensor free” approach to smart infrastructure. The company is VC backed and in the revenues stage. Combining pioneering technology in optical fiber sensing with state-of-the-art machine learning, we help prevent environmental disasters, protect human lives, and keep critical energy and transportation backbones running smoothly. We are now hiring a talented, self-driven, and passionate Senior DevOps to build and maintain optimized and highly available data pipelines that facilitate deeper analysis and reporting.

Hiring Manager:
Oded Aviyam

What You’ll Do:

* Lead the design and architecture of cloud-based data solutions, ensuring scalability, reliability, and performance.
* Design and build data pipelines for field data collection, analysis, and inference using industry production-grade technologies and tools.
* Design and build customer cloud / on-premise data solutions for storage, lookup, and processing flows.
* Study and incorporate standards for data governance, security, and compliance.
* Provide online and real-time monitoring and analysis of data systems health, accuracy, and costs.
* Plan and execute integrations with our edge computing solutions and AI models for both research and production flows.


What You Bring:

* +8 years of hands-on programming experience in high-level languages including python.
* +8 years experience in designing, building or administrating large scale software systems.
* Experience with AWS cloud, EKS, Airflow, Spark, Sage Maker, MongoDB, SQL.
* Excellent leadership, communication, and collaboration skills.
* Expert in designing and implementing highly resilient big data applications.
* Academic degree in Computer Science, Computer Engineering or Information Systems.
* Certifications in AWS or other relevant cloud technologies.
* Proven track record with NIST compliance and security protocols.


Great to Have:

* Over 3 years of experience serving in an architect capacity or a comparable role.
* Proficiency in CI/CD pipelines, utilizing tools like Jenkins and GitHub Actions.
* Experience with Onprem Kubernetes (K8s).
* Security-focused background.