Summer Research Intern bei Two Six Technologies
Two Six Technologies · Arlington, Vereinigte Staaten Von Amerika · Onsite
- Optionales Büro in Arlington
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! This 12-week internship program will be conducted onsite in Arlington, VA.
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.
- Candidate must have eligibility to obtain a government security clearance.
The projected pay range listed for this position is a general guideline and not a guarantee of rate.
