Two Six Technologies is seeking a Principal Research Scientist to lead technical program delivery and drive business development in the areas of formal methods, cryptography, and high-assurance software and hardware systems. A successful candidate will shape opportunities with government and industry sponsors, win new R&D programs, and guide multidisciplinary teams to deliver rigorous, innovative solutions.
Requirements
- Strong foundational knowledge in 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)
- 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)
Responsibilities
- Provide technical and programmatic oversight of R&D projects 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
Other
- A four-year degree in 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
- Existing contacts/connections with community partners and customers
- Top Secret security clearance
- An advanced degree (Master’s or PhD) in Mathematics, Computer Science, Computer/Electrical Engineering, or related technical domain
- Proven experience leading a rapidly growing team
- Local to Arlington, VA
- Active Top Secret security clearance
