Formal Methods Research Intern

Summary

Join us for our Summer 2025 Intern program as a Research Intern for High Assurance Solutions at Two Six Technologies!

Requirements

• Pursuing an advanced degree (Masters, PhD) is highly preferred
• Familiar with a modern programming language (C/C++, C#, Java, Python, JavaScript, Haskell, and OCaml etc.)
• Must have experience or coursework with at least ONE of the following
• Programming language theory
• Formal methods
• Mathematical logic
• Cryptography
• Abstract algebra

Responsibilities

• Participate in cutting-edge research, and be encouraged to publish results
• Build deployable and scalable systems that solve real-world problems
• Be paired with an experienced Formal Methods thought leader who will encourage and support your professional growth
• Present an end-of-internship project

Benefits

US Citizenship is required due to the nature of our work