HRL Job Posting Banner
Apply Now

Summer Internship in Formal Methods for AI

Malibu, CA, USA Req #180
Monday, November 18, 2019

ASSIGNMENT DURATION: 2-4 Months


LABOR CHARGE: DIRECT


SCHEDULED WORK WEEK HOURS: 20-40 Hours


EDUCATION DESIRED: MS or BS in Computer Science, Statistics, EE, or Mathematics.

ESSENTIAL JOB FUNCTIONS: Assist in performing R&D into security and safety of AI systems.Tasks will include the development, simulation, evaluation, and implementation of software for formal methods as applied to AI. Additional job functions include writing invention disclosures and publishing papers.


EXPERIENCE DESIRED: Research experience in formal methods.Some familiarity with machine learning would be an advantage.Familiarity with Python, C++, and C.Experience using formal methods tools such as Z3, dReal, Spin, Yices, Marabou, KeYmaera X, Coq, etc.

KNOWLEDGE DESIRED: Familiarity with the common formal methods algorithms, methodologies and tools.

ESSENTIAL PHYSICAL/MENTAL REQUIREMENTS: Good communication, presentation and writing skills.

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.

Selected candidates will be hired through a temporary agency and subject to the agency's pre-employment substance abuse testing.

Other details

  • Pay Type Hourly
  • Employment Indicator Internship
  • Malibu, CA, USA