Formal Verification Scientist

Key Skills

Java Programming, Python Programming, C++, C Programming, SQL, Cloud computing, Scala Programming, Machine learning techniques, Data science techniques, MATLAB Programming, PyTorch, TensorFlow, R Programming

Job Description

Based in Southern California with locations in Malibu, Calabasas and Camarillo; HRL has been on the leading edge of technology, conducting pioneering research and advancing the state of the art.

ESSENTIAL JOB FUNCTIONS:

Primary job function is to apply formal methods techniques to problem of providing mathematical and statistical guarantees on the behavior of autonomous systems. Tasks will include the development, implementation, evaluation and use of algorithms and tools for formal verification, synthesis, and runtime monitoring of software and/or autonomous systems. Additional job functions include solving customer problems, writing invention disclosures, publishing papers, briefing customers, and assisting in marketing HRL expertise.

EXPERIENCE DESIRED:

Research and/or development experience in formal methods. Experience in formal verification of software systems. Experience using proof assistants such as Coq, HOL or Isabelle. Experience using model checking and SMT-solving tools such as Z3, dReal, SPIN, Yices, or others. Experience developing innovative solutions based upon the application of relevant research results from a wide variety of sources. Software development experience in languages such as C/C++, Python, OCaml or Haskell.

EDUCATION DESIRED:

Ph.D. in Computer Science, Applied Math, EE or related fields

KNOWLEDGE DESIRED:

Background in formal verification of software systems. Knowledge of other formal methods techniques such as runtime monitoring or software synthesis. Knowledge of functional programming.

SPECIAL REQUIREMENTS:

U.S. citizenship or permanent resident status required.

This position must meet Export Control compliance requirements, therefore a U.S. Person as defined by 22 C.F.R. § 120.15 is required. U.S. Person includes U.S. Citizen, lawful permanent resident, refugee, or asylee.

HRL offers a very competitive compensation and benefits package. Our Regular/Full Time benefits include medical, dental, vision, life insurance, 401K match, gym facilities, PTO, growth potential, and an exciting and challenging work environment.