Formal Verification Engineer jobs in Israel

As a Senior PS Engineer, you will be responsible for automating and integrating storage solutions within enterprise environments. You will collaborate with global teams to deploy and manage Dell EMC storage products, leveraging automation technologies to enhance efficiency, visibility, and reliability.
You will:

• Design, deploy, and maintain enterprise-grade storage solutions (not limited to Dell EMC products)
• Troubleshoot and optimize storage environments (SAN/NAS)
• Collaborate with cross-functional teams to support customer requirements
• Ensure operational stability and performance of storage infrastructure

Essential Requirements

• Minimum 3 years of hands-on experience managing enterprise storage systems
• Experience with storage technologies from various vendors (Dell EMC, NetApp, HPE, etc.)
• Proficiency in Windows and Linux operating systems
• Strong analytical and problem-solving skills
• Ability to work independently and as part of a team

Desirable Requirements

• Experience with Dell EMC storage products
• Familiarity with basic automation tools (e.g., Python, Bash, Ansible) – not mandatory

Being the cybersecurity partner of choice, protecting our digital way of life.

Your Career

• Cortex products use cutting-edge technologies to deliver and innovate fast, with attention to quality and details. The great majority of the Cortex engineering group is located in the TLV office, which allows us to operate at a high pace with short loops of decision-making
• We are looking for a passionate and skilled Team Leader to join our Cortex Platform Automation R&D group. You will develop new solutions that will transform the future of security orchestration and automation around the globe, specializing in Cloud environments
• You will lead your engineers to become the most professional engineers and your team will be responsible for the design, implementation, delivery, and quality of our services in an Agile environment
• Furthermore, you will be collaborating with global tech, product, and security research teams, interfacing with other groups around the globe, and joining a rapidly growing Cybersecurity community

Your Impact

• Leading an Engineering team, focused on Cloud providers’ data and cybersecurity use-cases
• Taking a leading role in the design and implementation of cloud ingestion and automation in Palo Alto Networks’ Next Gen SOC platform
• Setting high-quality standards, seeking and choosing technical solutions to meet current and future needs
• Providing technical leadership and guidance, including design and code reviews
• Being accountable for product delivery, quality, and timelines

Your Experience

• 5+ years of proven hands-on experience in software development
• 1+ years of proven hands-on experience with Python
• Experience with Cloud environments and best practices.
• Prove experience in a management role - can be scrum master, tech lead or similar
• Good communication and visionary skills.
• Bachelor's degree in Computer Science/Engineering (or a related field) or equivalent military experience required

Nice to have

• Experience with Google console
• Experience with CI/CD
• Experience with Docker

We define the industry instead of waiting for directions. We need individuals who feel comfortable in ambiguity, excited by the prospect of a challenge, and empowered by the unknown risks facing our everyday lives that are only enabled by a secure digital environment.

All your information will be kept confidential according to EEO guidelines.

Key Responsibilities

• You will be responsible for the complete software development life cycle including requirement analysis, design, development and deployment
• Take part in integrating the newest features and technologies, automate workflows, and create user friendly tools and frameworks for researchers.
• Produce elegant, generic, modular and extendable code
• Actively influence the processes and methods for researchers, affecting their day to day life

Required Qualifications

• BS in Computer Science or equivalent knowledge or equivalent military experience required
• 5+ years of software engineering experience
• Expertise in Python and Python internals
• Experience in designing, building and maintaining a user facing application/API
• Experience with Git or other source controls
• Good communication skills
• Self-driven with the ability to work independently, take initiative, and drive processes end-to-end

Advantages

• Experience with Kubernetes/Docker
• Experience with cloud infrastructure (GCP specifically)
• Knowledge of the cyber field
• Experienced with a variety of database technologies (Mysql / RocksDB / Google BigQuery)

We define the industry instead of waiting for directions. We need individuals who feel comfortable in ambiguity, excited by the prospect of a challenge, and empowered by the unknown risks facing our everyday lives that are only enabled by a secure digital environment.

All your information will be kept confidential according to EEO guidelines.

Being the cybersecurity partner of choice, protecting our digital way of life.

Your Impact

• Join the fastest growing team where experience meets cutting-edge solutions

• Build and cultivate strong customer relationships, driving business growth within the region.

• Partner with the core sales team to align customer strategies and engagements with Cortex and Cloud business objectives.

• Take full ownership of leading strategic sales campaigns, sales forecasting, utilizing in-depth knowledge of sales cycles from initial contact through procurement.

• Engage in deep technical discussions beyond standard sales presentations and pitches; while translating complex technical cybersecurity solutions into clear business value propositions for customers.

• Collaborate closely with cross-functional teams, including sales engineers, to provide tailored customer-centric solutions.

• Partner with Alliances to develop joint strategies, enhance customer engagement and deliver innovative solutions for existing and prospective clients.

• Travel domestically as needed to meet with customers and attend key business events.

Your Experience

• 5+ years of field sales experience focusing on key customer accounts and delivering value to Enterprise or Major-level accounts in the cybersecurity industry.

• Extensive platform selling experience in complex sales with multiple buying centers.

• Experience selling SIEM, EDR, XDR, SOC and SOAR solutions is highly preferred.

• Established trusted relationships with CIOs and CISOs with the ability to influence and drive strategic conversations

• Expertise in applying complex solution sales methodologies to drive results.

• Experience working with channel partners and a deep understanding of a channel-centric go-to-market strategy.

• Demonstrated ability to thrive in a fast-paced, high-growth startup environment while collaborating effectively with sales engineers and cross-functional teams.

• Experience operating in a continuous adoption, expansion, and upsell sales motion within a matrixed sales organization is preferred

• Willingness to travel domestically as necessary to meet business needs.

Compensation Disclosure

The compensation offered for this position will depend on qualifications, experience, and work location. For candidates who receive an offer at the posted level, the starting base salary (for non-sales roles) or base salary + commission target (for sales/commissioned roles) is expected to be between. The offered compensation may also include restricted stock units and a bonus. A description of our employee benefits may be found .

All your information will be kept confidential according to EEO guidelines.

This role may require travel to and from Palo Alto Networks, Inc. business meetings and events and requires reliable transportation to do so. If a hire chooses to drive in connection with company business, the hire for this role must maintain a valid driver’s license.