Two Six Technologies · 5 hours ago
Associate Research Director - Formal Methods & Cryptography
Two Six Technologies is a company that builds innovative products to solve complex challenges. They are seeking an Associate Research Director to lead technical program delivery and drive business development in formal methods and cryptography, shaping opportunities with government and industry sponsors while guiding multidisciplinary teams.
Cyber SecurityInformation TechnologyNetwork Security
Responsibilities
Provide technical and programmatic oversight of cybersecurity R&D projects with a focus in formal methods, cryptography, programming language theory, applied category theory, and other disciplines within applied mathematics
Engage directly with new and existing relationships with customers, partners, and collaborators across the government R&D community to shape new research opportunities
Lead capture activities and proposal development and writing to secure new R&D programs and expand organizational capabilities
Guide mulit-disciplinary, cross-organizational teams to build novel capabilities to solve challenging research problems
Foster a culture of technical and professional growth by mentoring and developing our staff
Qualification
Required
A four-year degree in Cybersecurity, Mathematics, Computer Science, Computer/Electrical Engineering, or other related discipline
Ten or more years of professional experience in a relevant field
Experience leading a team of scientists and engineers (including PhD's)
Comfortable working with people in technical, business, and program management arenas
Proven track record of business development and capture of Government R&D contracts/programs
Strong foundational knowledge in Cybersecurity and at least one of: formal methods/formal verification, cryptography, mathematical logic, abstract algebra, programming language theory, or a similar discipline
Past performance as a principal investigator (PI) on fast-paced, innovation-driven, advanced technology R&D projects for government clients (e.g. DARPA, DoD, IC)
Existing contacts/connections with community partners and customers
Top Secret security clearance
Preferred
An advanced degree (Master's or PhD) in Mathematics, Computer Science, Computer/Electrical Engineering, or related technical domain
Knowledge of a functional programming language (Haskell, OCaml, SML)
Experience with computer proof assistants (Coq, Isabelle/HOL, Lean)
Experience in cybersecurity and related disciplines (program analysis, vulnerability research, computer network operations)
Experience in data science and related disciplines (statistics, artificial intelligence, machine learning)
Proven experience leading a rapidly growing team
Benefits
Medical, dental, and vision insurance
Life and disability insurance
Retirement benefits
Paid leave
Tuition assistance
Professional development
Company
Two Six Technologies
Two Six Technologies provides cybersecurity and technology solutions for national security customers.
Funding
Current Stage
Late StageTotal Funding
$42.36M2023-10-16Series Unknown· $8.73M
2022-04-08Series Unknown· $10M
2021-09-20Series Unknown· $4.75M
Recent News
Two Six Technologies
2025-10-28
Two Six Technologies
2025-09-15
2025-08-09
Company data provided by crunchbase