Lead Cryptologic Mathematician

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.

Two Six Technologies is looking for a Lead Cryptologic Mathematician 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.

• 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

• 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.)

• Active Top Secret Clearance with the ability to obtain SCI

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.

$140,041 - $214,100 USD

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

Ready to make the first move towards growing your career? If so, check out the Two Six Technologies Candidate Journey! This will give you step-by-step directions on applying, what to expect during the application process, information about our rich benefits and perks along with our most frequently asked questions. If you are undecided and would like to learn more about us and how we are contributing to essential missions, check out our Two Six Technologies News page!

We share information about the tech world around us and how we are making an impact! Still have questions, no worries! You can reach us at Contact Two Six Technologies. We are happy to connect and cover the information needed to assist you in reaching your next career milestone.

Two Six Technologies is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race (including traits…