HRL Job Posting Banner
Apply Now

Scientist IV - Assured Autonomy

Malibu, CA, USA Req #63
Monday, July 15, 2019
EDUCATION DESIRED: Ph.D. in Computer Science, Applied Math, EE or related fields

ESSENTIAL JOB FUNCTIONS: Primary job function is to assist a team of researchers in performing R&D in security, formal methods, and artificial intelligence. Tasks will include the design, development, analysis, simulation, evaluation, and implementation of formal methods and artificial intelligence algorithms. Additional job functions include solving customer problems, writing invention disclosures, publishing papers, briefing customers, and assisting in marketing HRL expertise.

EXPERIENCE DESIRED: Desired: Research and/or development experience in one or more of the following areas is required: formal methods, machine learning, autonomous vehicle software. Experience developing innovative solutions based upon the application of relevant research results from a wide variety of sources. Several years of software development using C, C++, Python or any similar programming language. Experience with Unix and open source software. Experience using methods tools (KeYmaera, dReal, Z3, Yices, Coq, Isabelle, HOL, Spin, etc.).

KNOWLEDGE DESIRED: Background in one or more of the following areas: formal verification, SAT/SMT solving, reinforcement learning, computer vision, model checking, autonomous systems.

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.
We are proud to be an EEO/AA employer M/F/D/V. We maintain a drug-free workplace and perform pre-employment substance abuse testing.

Other details

  • Pay Type Salary
  • Malibu, CA, USA