Formal Verification Engineer jobs in Israel

• High-growth: Over the past six years, we’ve consistently achieved milestones that take other companies a decade or more. During this time, we’ve significantly grown our employee base, expanded our customer reach, and rapidly advanced our product capabilities.
• Disruptive innovation: Our founders saw that traditional security didn’t work for the cloud so they set out to carve a new path. We’re relentless pioneers who invented agentless technology and continue to be the most comprehensive and innovative cloud security company.
• Well-capitalized: With a valuation of $1.8 billion, Orca is a cybersecurity unicorn dominating the cloud security space. We’re backed by an impressive team of investors such as Capital G, ICONIQ, GGV, and SVCI, a syndicate of CISOs who invest their own money after conducting their due diligence.
• Respectful and transparent culture: Our executives pride themselves on being accessible to everyone and believe in sharing knowledge with the employees. Each employee has a place in shaping the future of our industry.

You’ll contribute to a high-impact codebase that scans, analyzes, and interprets complex Kubernetes configurations and behaviors at scale. This is a unique opportunity to shape the future of Orca’s KSPM product – owning core backend components, driving architectural improvements, and delivering features that address real-world customer needs.

: Python, Go, K8s APIs, SingleStore, Postgres, Redis, Kafka, AWS, GCP, Azure, ElasticSearch

• Design, implement, and maintain scalable backend services for onboarding, scanning, and analyzing Kubernetes environments
• Collaborate with security researchers and product managers to translate complex requirements into impactful product features
• Write clean, efficient, and testable code, ensuring high performance and reliability
• Participate in design and code reviews to uphold technical excellence and team standards
• Lead features end-to-end – from design and planning to deployment and monitoring
• Improve system observability, performance, and resilience in production environments
• Work closely with cross-functional teams to continuously enhance product capabilities and customer value
• Stay current with developments in the Kubernetes ecosystem and cloud security landscape

• Bachelor’s degree in Computer Science, Engineering, or equivalent experience
• 5+ years of professional software development experience
• Hands on experience with Python or Go – Must
• Proven experience with microservices architecture and cloud-native systems
• Solid foundation in software design principles, concurrency, memory management, data structures, and algorithms
• Excellent communication skills and a collaborative, team-first mindset

• Experience with major cloud providers (AWS, GCP, Azure) and managed Kubernetes solutions (EKS, GKE, AKS)
• Familiarity with Kubernetes internals and container technologies
• Background in cybersecurity, especially in cloud security domains

As a Staff DevOps Engineer, you will own production infrastructure across our cloud environments and work closely with platform, dev-infra and automation tests teams to drive operational excellence. You need to be ready to lead cross-team initiatives, proactively identify areas for optimization, and define scope both for yourself and the team.

You will be responsible for:

• Keeping production stable and working, having a dedicated team as a first line of support
• Improvement of existing CI/CD processes based on the feedback from product and infra teams
• Improving the organization's FinOps posture

Requirements:

• 7+ years of experience as a DevOps Engineer
• Experience with FinOps best practices, including identifying excessive cloud spending across different categories
• Experience leading complex infrastructure projects (e.g. migration from one cloud provider to another)
• Experience with AWS: RDS, Networking, EKS, EC2, Fargate
• Experience implementing and designing disaster recovery strategies
• Experience with IaaC-based infrastructure
• Proficiency in Python/Go, as most of the infrastructure components are written in these languages

• High-growth: Over the past six years, we’ve consistently achieved milestones that take other companies a decade or more. During this time, we’ve significantly grown our employee base, expanded our customer reach, and rapidly advanced our product capabilities.
• Disruptive innovation: Our founders saw that traditional security didn’t work for the cloud, so they set out to carve a new path. We’re relentless pioneers who invented agentless technology and continue to be the most comprehensive and innovative cloud security company.
• Well-capitalized: With a valuation of $1.8 billion, Orca is a cybersecurity unicorn dominating the cloud security space. We’re backed by an impressive team of investors such as Capital G, ICONIQ, GGV, and SVCI, a syndicate of CISOs who invest their own money after conducting their due diligence.
• Respectful and transparent culture: Our executives pride themselves on being accessible to everyone and believe in sharing knowledge with the employees. Each employee has a place in shaping the future of our industry.

• High-growth: Over the past six years, we’ve consistently achieved milestones that take other companies a decade or more. During this time, we’ve significantly grown our employee base, expanded our customer reach, and rapidly advanced our product capabilities.
• Disruptive innovation: Our founders saw that traditional security didn’t work for the cloud so they set out to carve a new path. We’re relentless pioneers who invented agentless technology and continue to be the most comprehensive and innovative cloud security company.
• Well-capitalized: With a valuation of $1.8 billion, Orca is a cybersecurity unicorn dominating the cloud security space. We’re backed by an impressive team of investors such as Capital G, ICONIQ, GGV, and SVCI, a syndicate of CISOs who invest their own money after conducting their due diligence.
• Respectful and transparent culture: Our executives pride themselves on being accessible to everyone and believe in sharing knowledge with the employees. Each employee has a place in shaping the future of our industry.

: Python, Linux & Windows internals, Container Runtimes, Postgres, Redis, Kafka, AWS, GCP, Azure

• Design, implement, and maintain scalable backend services for scanning and analyzing cloud workloads (VMs, containers, buckets, databases, etc..)
• Build infrastructure for reconstructing file systems across different operating systems (Linux and Windows) to enable deep analysis
• Integrate security detection engines for vulnerabilities, secrets, compliance, and malware
• Collaborate with security researchers and product managers to translate complex requirements into impactful product features
• Write clean, efficient, and testable code, ensuring high performance and reliability
• Participate in design and code reviews to uphold technical excellence and team standards
• Lead features end-to-end – from design and planning to deployment and monitoring
• Improve system observability, performance, and resilience in production environments
• Stay current with developments in the cloud security landscape, vulnerability management, and OS internals

• Bachelor’s degree in Computer Science, Engineering, or equivalent experience
• 5+ years of professional software development experience
• Strong experience building backend services or distributed systems
• Hands-on experience with Python
• Solid understanding of operating system internals
• Familiarity with vulnerability management concepts or tooling
• Experience with major cloud providers (Amazon Web Services, Google Cloud, Microsoft Azure)
• Strong foundation in software design principles, concurrency, memory management, data structures, and algorithms
• Passionate about building great products and solving real-world security challenges
• Self-driven, proactive, and comfortable taking ownership and initiative
• A strong communicator and a true team player who thrives in a collaborative environment

• Familiarity with container internals and runtime security
• Experience with large-scale file system analysis, malware analysis, or digital forensics
• Background in cybersecurity, especially in cloud security domains