Lead Cryptographer

Two Six Technologies
Arlington, VA, United States
22 days ago

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Experience level
Expert
Experience required
7 years minimum
Compensation
$140,041.0 - $214,100.0
Working hours
Regular working hours

Tech stack

Public-Key Cryptography Cyber Security Computer Engineering Formal Verification Internet Service Provider Information Technology Formal Methods Functional Programming

Job description

Two Six Technologies is looking for a Lead Cryptographer to join our Applied Mathematics team. You will work with a range of clients from the US Defense Advanced Research Projects Agency (DARPA) to the country’s largest ISPs to innovative tech startups. You will become a trusted advisor while learning and performing valuable technical and industry skills., * Participate in research programs related to applied, modern cryptography

  • Assist formal methods team in evaluations of cryptographic software and systems for functional correctness and implementation mistakes
  • Take on complex technical problems for which there is often no known answer.
  • Forge your own path; our small team setting will provide you the opportunity for outsized impact. While you will receive extensive training, mentorship, and coaching, you must be comfortable executing against challenging technical goals since there’s no playbook for our innovative work.

Requirements

  • Bachelor’s degree in Computer Science, Computer Engineering, Mathematics, or a related technical field.

  • A Master’s or Ph.D. may be considered in place of some years of experience

Minimum of 7 years experience in classical and modern cryptographic algorithms and protocols including several of:

  • Standard public key algorithms
  • Symmetric key ciphers and modes
  • Cryptographic hash functions

Basic coding skills in a functional or imperative language Nice if you have:

  • Experience in classical and modern cryptographic algorithms and protocols including

  • Zero-knowledge proof
  • Secure multiparty computation
  • Post Quantum/Quantum-resistant cryptography
  • Fully homomorphic encryption

Publication history in cryptography

Familiarity with formal methods / formal verification

Exposure to concepts of functional programming languages (higher-order function, monads, type classes, etc.) Security Clearance:

  • Active Top Secret Clearance with the ability to obtain SCI

Benefits & conditions

Two Six Technologies is committed to providing competitive and comprehensive compensation packages that reflect the value we place on our employees and their contributions. We believe in rewarding skills, experience, and performance. Our offerings include but are not limited to, medical, dental, and vision insurance, life and disability insurance, retirement benefits, paid leave, tuition assistance and professional development.

The projected salary range listed for this position is annualized. This is a general guideline and not a guarantee of salary. Salary is one component of our total compensation package and the specific salary offered is determined by various factors, including, but not limited to education, experience, knowledge, skills, geographic location, as well as contract specific affordability and organizational requirements.

Salary Range

$140,041 - $214,100 USD

Looking for other great opportunities? Check out Two Six Technologies Opportunities for all our Company’s current openings!

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on www.clearancejobs.com

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

1:18 min

Defining formal methods for software verification

Lars Hupel · WWC 2023

4:11 min

Introduction to cloud-native application developer security

Micah Silverman · WWC 2022

4:20 min

Understanding formal verification processes in practice

Lars Hupel · WWC 2023

2:17 min

Preparing for quantum resilience and post-quantum cryptography

Jakub Gaj Jakub Gaj · WWC Europe 2026

59 sec

State of the art in software verification

Onur Kasimlar Onur Kasimlar · WWC 2025

3:44 min

Current industry adoption and future security initiatives

Alexander Allmendinger · LIVE

Videos

See all

Related articles

See all