Associate Research Director - High Assurance Solutions
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 seeking an Associate Research Director to research and develop high assurance software and hardware systems using advanced formal analysis technologies. We are seeking candidates with an interest in research as well as a commitment to developing solutions for the real world. Ideal candidates will have a passion for using concepts from pure mathematics in an industry setting.
Responsibilities:
- Technical and programmatic oversight of R&D projects in formal methods, cryptography, programming language theory, applied category theory, and other disciplines within applied mathematics
- Line management of team members and identifying/hiring new team members
- Technical marketing of Two Six Technologies’ Cyber Security services and capabilities to new and existing Government R&D clients
- Identifying and leading the capture of new R&D programs
- Participating in and leading proposal generation and delivery
Requirements:
- A four-year degree in Mathematics, Computer Science, Computer/Electrical Engineering, or other related discipline
- Experience serving as a line manager for a team of scientists and engineers
- A proven track record of capturing Government R&D contracts/programs
- Ten or more years of professional experience in a similar role
- A strong foundational knowledge in at least one of: formal methods/formal verification, cryptography, mathematical logic, abstract algebra, or programming language theory.
- Past performance as a Principal Investigator on fast-paced, innovation-driven, advanced technology R&D projects for Government clients
- Top Secret security clearance
Nice to have:
- 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)
Clearance:
- Active TS/SCI
#LI-PP1
#LI-Onsite1
Apply for this job
*
indicates a required field