Full-Time
Senior Research Engineer
Formal Methods
Posted on 10/30/2024
Two Six Technologies
501-1,000 employees
Provides advanced technology solutions for defense
Compensation Overview
$103.2k - $170.3kAnnually
Senior
Arlington, VA, USA
The job is onsite in Arlington, Virginia.
US Top Secret Clearance Required
- A bachelor’s or advanced degree (Masters or PhD) in Computer Science, Computer/Electrical Engineering, Mathematics or related technical domain
- 3-5 years of professional (or equivalent) experience in software engineering, cybersecurity, or mathematics
- Extensive experience working with any of the following, or similar, technologies: Interactive theorem provers (e.g. Isabelle/HOL or, Coq), SMT solvers (e.g. Z3 or CVC)
- A foundational knowledge of software and systems engineering
- A working knowledge of concepts from mathematical logic (higher-order logic, type theory)
- Comfortable working as part of a small development team composed of researchers, engineers, and scientists
- Familiarity with functional languages
- Strong oral and written communication skills
- Familiarity with standard software engineering processes and tools (e.g., git and JIRA)
- Prove safety and security properties of hardware and software
- Learn and evaluate formal methods tools for use in verification tasks
- Assist in writing research papers and conference talks on topics in formal methods
- Work well independently in a small team and fast-paced environment
- Collaborate with partners and customers to understand, tailor, and deliver solutions that meet their requirements
- Active Top Secret security clearance
- Modern cryptography domain experience and knowledge
- Experience developing cybersecurity solutions and products
- Publication record or research experience in a relevant technical field
Two Six Technologies specializes in providing advanced technological solutions for critical missions, focusing on areas such as cybersecurity, data science, and electronic systems. Their products and services are designed to help U.S. government agencies, including DARPA and U.S. Cyber Command, defend networks and address advanced threats. The company operates on a project-based model, creating custom solutions tailored to the specific needs of their clients, which allows them to effectively respond to the unique challenges in national security and defense. Unlike many competitors, Two Six Technologies emphasizes rapid and impactful innovation, ensuring they deliver operationally effective products. Their goal is to achieve technological superiority for the United States and its allies through their expertise and commitment to excellence.
Company Size
501-1,000
Company Stage
Seed
Total Funding
$66M
Headquarters
Arlington, Virginia
Founded
2021
Simplify's Take
What believers are saying
- Two Six Technologies achieved over 25% organic revenue growth in 2023.
- The company expanded its contract portfolio to over $1 billion in 2023.
- Two Six Technologies is a finalist for the 2023 GovCon Contractor of the Year award.
What critics are saying
- Increased competition from emerging cybersecurity firms threatens market share.
- Reliance on government contracts exposes the company to political and budgetary shifts.
- Expansion into new regions may strain resources and divert focus from core operations.
What makes Two Six Technologies unique
- Two Six Technologies specializes in cybersecurity solutions for national security customers.
- The company offers a range of operationally deployed products like Pulse and SIGMA.
- Two Six Technologies has a global presence in over 40 countries with multilingual capabilities.
Help us improve and share your feedback! Did you find this helpful?
Benefits
Health Insurance
Dental Insurance
Vision Insurance
Life Insurance
Disability Insurance
401(k) Retirement Plan
Flexible Work Hours
Paid Vacation
Tuition Reimbursement
Growth & Insights and Company News
6 month growth
↑ 0%1 year growth
↑ 2%2 year growth
↑ 1%Daniel Bono, formerly vice president at CACI International (NYSE: CACI), has been named senior VP of intelligence solutions at Two Six Technologies, succeeding Chris Greenlee, who transitioned to the role of VP of zero trust solutions.
National security tech firm Two Six Labs is expanding in Kettering, creating 80 high-paying jobs and adding $10M to the local economy.
Two Six Technologies, after hiring and onboarding more than 240 new full-time employees in 2023, continues to recruit mission-focused professionals for its diverse, world-class teams.
ARLINGTON, Va., Feb. 06, 2024 (GLOBE NEWSWIRE) -- Two Six Technologies, a high-growth technology company dedicated to providing products and expertise to national security customers, achieved exceptional strategic growth and record results in 2023. Most importantly, Two Six increased its positive impact on the critical missions of its Defense and Intelligence Community customers.In 2023, the company generated organic revenue growth of over 25%, expanded its contract portfolio to more than $1 billion of available contract ceiling, and grew its team to approximately 800 talented professionals throughout the United States. Driving this exceptional performance was Two Six’s rapid delivery of products and expertise to address some of the most important and challenging threats to U.S. national security.“I’m incredibly proud of the outstanding people of Two Six, who delivered another year of extraordinary growth, inspired by our relentless focus on the nation’s most urgent national security challenges,” said Joe Logue, CEO of Two Six Technologies. “At Two Six, we deliver unique expertise and innovative products to solve clients’ mission needs with speed and agility.”Two Six Technologies, formed in February 2021 with the backing of global investment firm The Carlyle Group, continues to execute its two-part mission to deliver technological superiority for the nation and empower passionate people to succeed as a team.In 2023, Two Six Technologies strengthened its focus on five technical areas that are central to national security missions: cyber, information operations, electronic systems, analytics, and secure solutions
Two Six Technologies appoints Teresa Shea to board of directors.