SantaClaraRecruiter Since 2001
the smart solution for Santa Clara jobs

Principal Formal Methods Engineer

Company: Palo Alto Networks, Inc.
Location: Santa Clara
Posted on: November 22, 2022

Job Description:

This cutting edge opportunity is located at our Santa Clara, CA campus & headquarters. Our Mission At Palo Alto Networks - everything starts and ends with our mission: Being the cybersecurity partner of choice, protecting our digital way of life. We have the vision of a world where each day is safer and more secure than the one before. These aren't easy goals to accomplish - but we're not here for easy. We're here for better. We are a company built on the foundation of challenging and disrupting the way things are done, and we're looking for innovators who are as committed to shaping the future of cybersecurity as we are. We're changing the nature of work. Palo Alto Networks is evolving to meet the needs of our employees now and in the future through FLEXWORK, our approach to how we work. From benefits to learning, location to leadership, we've rethought and recreated every aspect of the employee experience at Palo Alto Networks. And because it FLEXes around each individual employee based on their individual choices, employees are empowered to push boundaries and help us all evolve, together. Your Career You will have the opportunity to build a career solving network security challenges leveraging on advanced machine learning techniques on Petabytes of data. You will help create and deliver the most advanced AI and Machine Learning enabled solutions to discover threats, provide intelligence and protect devices. Your Impact

  • You will work in a fast paced team to create and deliver new product and mission features to the security platform that many customers use on a daily basis
  • You will actively engage and contribute to the security community through collaborations
  • You will be part of the team that is leading and driving industry technology evolution in security and creating a positive impact on business
  • Design and development of workflow frameworks (using formal methods and algorithms), with result collection and visualization , monitoring tools.
  • Creation and delivery of training materials Your Experience
    • 10+ years of industrial experience in formal modeling, formal verification, constraint solving, SMT/SAT solvers
    • Experience with building scalable formal verification solutions on cloud will be a plus
    • 10+ years of experience in design, algorithms and data structures. Expertise with Java, C++, Python, Rust
    • Experience with z3, cvc5, TLA+ will be a plus
    • M.S. or Ph.D degree in Computer Science, Mathematics, Electrical Engineering or related fieldor equivalent military experience required
    • Excellent communication skills with the ability to influence at all levels of the organization
    • A self driven individual contributor and an excellent team player Our Commitment We're trailblazers that dream big, take risks, and challenge cybersecurity's status quo. It's simple: we can't accomplish our mission without diverse teams innovating, together. Palo Alto Networks is evolving and changing the nature of work to meet the needs of our employees now and in the future through FLEXWORK, our approach to how we work. From benefits to learning, location to leadership, we've rethought and recreated every aspect of the employee experience at Palo Alto Networks. And because it FLEXes around each individual employee based on their individual choices, employees are empowered to push boundaries and help us all evolve, together. We are committed to providing reasonable accommodations for all qualified individuals with a disability. If you require assistance or accommodation due to a disability or special need, please contact us at accommodations@paloaltonetworks.com. All your information will be kept confidential according to EEO guidelines. #LI-SM2 Covid-19 Vaccination Information for Palo Alto Networks Jobs
      • Vaccine requirements and disclosure obligations vary by country.
      • Unless applicable law requires otherwise, you must be vaccinated for COVID or qualify for a reasonable accommodation if:
        • The job requires accessing a company worksite
        • The job requires in-person customer contact and the customer has implemented such requirements
        • You choose to access a Palo Alto Networks worksite
        • If you have questions about the vaccine requirements of this particular position based on your location or job requirements, please inquire with the recruiter.

Keywords: Palo Alto Networks, Inc., Santa Clara , Principal Formal Methods Engineer, Engineering , Santa Clara, California

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category
within


Log In or Create An Account

Get the latest California jobs by following @recnetCA on Twitter!

Santa Clara RSS job feeds