HRL Job Posting Banner

Scientist IV - Formal Verification & Synthesis

Malibu, CA, USA Req #65
Monday, July 27, 2020

Located in Malibu, California, HRL has been on the leading edge of technology, conducting pioneering research and advancing the state of the art.

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

ESSENTIAL JOB FUNCTIONS: Primary job function is to apply modern computer science, mathematical theory, and formal methods techniques to problems and applications in areas of high-assurance software, cyber security, and related areas. Tasks will include the development, implementation, evaluation and use of algorithms and tools for formal verification, software analysis, and software synthesis. 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 verification and/or other formal methods techniques. Experience using a proof assistant such as Coq, Isabelle, Keymaera, Agda, HOL, or others. Software development using OCaml, Haskell, C, C++ or similar programming languages. Experience developing innovative solutions based upon the application of relevant research results from a wide variety of sources.

KNOWLEDGE DESIRED: Background in one or more of the following areas: formal verification of software, formal verification of hardware, high-assurance code synthesis, formal program analysis.

ESSENTIAL PHYSICAL/MENTAL REQUIREMENTS: Good communication (verbal and written) skills, active participation in R & D team activities is required. Able and willing to occasionally travel.

SPECIAL REQUIREMENTS (e.g. driver’s license special tools or restrictions): 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 benefits include medical, dental, vision, life insurance, 401K match, gym facilities, PTO, growth potential, and an exciting and challenging work environment.
HRL Laboratories is an Equal Employment Opportunity employer and does not discriminate in recruiting, hiring, training or promoting, on the basis of race, ethnicity, color, creed, religion, sex, sexual orientation, gender, gender identity, genetic information, national origin, physical or mental disability, pregnancy, medical condition, U.S. military or protected veteran status, union membership, or political affiliation. We maintain a drug-free workplace and perform pre-employment substance abuse testing.

Other details

  • Pay Type Salary
  • Malibu, CA, USA