Apply on Employer Site

Trusted Concepts, Inc. · 3 months ago

Associate Research Director - Formal Methods & Cryptography

Arlington, Virginia

Full-time

Onsite

Director/Executive

$158K/yr - $237K/yr

10+ years exp

Two Six Technologies is a company that builds and implements innovative products to address complex global challenges. They are seeking an Associate Research Director to lead technical program delivery and business development in formal methods and cryptography, guiding teams to deliver innovative solutions and shape new research opportunities.

GamingInformation TechnologySoftwareVideo Games

No H1B

Security Clearance Required

U.S. Citizen Only

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 degreeData scienceFunctional programmingComputer proof assistantsTeam 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