Formal Methods Research Intern

Posted:
9/30/2024, 4:43:38 AM

Location(s):
Virginia, United States

Experience Level(s):
Internship

Field(s):
Software Engineering

At Two Six Technologies, we build, deploy, and implement innovative products that solve the world’s most complex challenges today. Through unrivaled collaboration and unwavering trust, we push the boundaries of what’s possible to empower our team and support our customers in building a safer global future.

Overview of Opportunity 

Two Six Technologies is seeking Research Interns for High Assurance Solutions to join us for our Summer 2025 Intern program!

Responsibilities Include:

  • 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 

Minimum Qualifications

  • 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

Clearance/Citizenship: 

  • Due to the nature of our work US Citizenship is required