Scientist IV - Assured Autonomy
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.
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.
- Pay Type Salary
- Malibu, CA, USA