Twosix Technologies-posted 3 months ago
$158,141 - $237,211/Yr
Full-time • Senior
Arlington, VA
501-1,000 employees
Professional, Scientific, and Technical Services

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. Ideal candidates combine mathematical depth, the ability to explain technical concepts clearly, and a passion for applying pure mathematics and logic in mission-focused settings.

  • 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 multidisciplinary, 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
  • 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
  • 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)
  • 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
  • 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
  • Medical, dental, and vision insurance
  • Life and disability insurance
  • Retirement benefits
  • Paid leave
  • Tuition assistance
  • Professional development
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service