Two Six Technologies
Associate Research Director - High Assurance Solutions
Two Six Technologies, Arlington, Virginia, United States, 22201
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.Two Six Technologies is committed to providing competitive and comprehensive compensation packages that reflect the value we place on our employees and their contributions. We believe in rewarding skills, experience, and performance. Our offerings include but are not limited to, medical, dental, and vision insurance, life and disability insurance, retirement benefits, paid leave, tuition assistance, and professional development.The projected salary range listed for this position is annualized. This is a general guideline and not a guarantee of salary. Salary is one component of our total compensation package and the specific salary offered is determined by various factors, including, but not limited to education, experience, knowledge, skills, geographic location, as well as contract specific affordability and organizational requirements.Two Six Technologies is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race, color, religion, national origin, sex, sexual orientation, gender identity or expression, age, marital status, disability, genetic information, and protected veteran status or any other characteristic protected by applicable federal, state, or local law.
#J-18808-Ljbffr
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.Two Six Technologies is committed to providing competitive and comprehensive compensation packages that reflect the value we place on our employees and their contributions. We believe in rewarding skills, experience, and performance. Our offerings include but are not limited to, medical, dental, and vision insurance, life and disability insurance, retirement benefits, paid leave, tuition assistance, and professional development.The projected salary range listed for this position is annualized. This is a general guideline and not a guarantee of salary. Salary is one component of our total compensation package and the specific salary offered is determined by various factors, including, but not limited to education, experience, knowledge, skills, geographic location, as well as contract specific affordability and organizational requirements.Two Six Technologies is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race, color, religion, national origin, sex, sexual orientation, gender identity or expression, age, marital status, disability, genetic information, and protected veteran status or any other characteristic protected by applicable federal, state, or local law.
#J-18808-Ljbffr