Intern, Operational Autonomy Center, Formal Methods

Key Skills

Autonomous vehicles, Autonomy, C Programming, Effective communication skills, Haskell, OCaml

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 assist in the research, development and application of state-of-the-art formal methods and cyber-assurance as applied to operational autonomous systems. Tasks will include the formal verification of software, the development of automated tools for code synthesis, and system integration.

EXPERIENCE DESIRED:

Software verification experience in the Coq proof assistant or similar, cyber-security, operating systems, and microkernels (e.g., seL4).

EDUCATION DESIRED:

Currently pursuing a PhD, MS or BS in Computer Science, EE, or Applied Mathematics.

KNOWLEDGE DESIRED:

Experience in writing C code, experience in a functional programming language (e.g., OCaml or Haskell), and operating systems experience.

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:

U.S. citizenship or permanent resident status required.

Compensation:

The pay range for this position is $22 - $35 per hour.

Our pay ranges are determined by role, level, and location. The range displayed on each job posting reflects the minimum and maximum target for new hires for the position. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific range during the hiring process. 

This position must meet Export Control compliance requirements, therefore a U.S. Person as defined by 22 C.F.R. § 120.15is 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.

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, age, 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.