Summer Internship in Formal Methods for AI
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.
Selected candidates will be hired through a temporary agency and subject to the agency's pre-employment substance abuse testing.
- Pay Type Hourly
- Employment Indicator Internship
- Malibu, CA, USA