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