Apply on Employer Site

Two Six Technologies · 4 months ago

Principal Research Scientist - Formal Methods & Cryptography

Arlington, VA

Full-time

Onsite

Lead/Staff

$158K/yr - $237K/yr

10+ years exp

Two Six Technologies is a company that builds, deploys, and implements innovative products to solve complex challenges. They are seeking a Principal Research Scientist to lead technical program delivery and drive business development in formal methods and cryptography, while guiding multidisciplinary teams to deliver innovative solutions.

Cyber SecurityInformation TechnologyNetwork Security

No H1B

Security Clearance Required

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

Qualification

Formal methodsCryptographyMathematical logicProgramming language theoryApplied category theoryAbstract algebraBusiness developmentTeam leadershipFunctional programmingComputer proof assistantsCybersecurityData science

Required

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

Local to Arlington, VA

Active Top Secret security clearance