Associate Research Director - Formal Methods & Cryptography jobs in United States
cer-icon
Apply on Employer Site
company-logo

Two Six Technologies · 6 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
badNo H1BnoteSecurity Clearance RequirednoteU.S. Citizen Onlynote

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

Formal methodsCryptographyCybersecurityMathematical logicProgramming language theoryBusiness developmentAdvanced degreeFunctional programmingComputer proof assistantsData scienceTeam leadershipMentoringCommunication skills

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

twittertwitter
company-logo
Two Six Technologies provides cybersecurity and technology solutions for national security customers.

Funding

Current Stage
Late Stage
Total Funding
$42.36M
2023-10-16Series Unknown· $8.73M
2022-04-08Series Unknown· $10M
2021-09-20Series Unknown· $4.75M

Leadership Team

leader-logo
Bob Kwaja
Chief Financial Officer
linkedin
leader-logo
Richard Housley
Chief Scientist, Reverse Engineering
linkedin
Company data provided by crunchbase