
Senior Research Engineer – Rust Development and Formal Methods - Two Six Technologies
View Company Profile- Job Title
- Senior Research Engineer – Rust Development and Formal Methods
- Job Location
- Arlington, Virginia
- Job Description
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.
Overview of Opportunity
Join our team as a Senior Research Engineer specializing in Rust development and formal methods. In this role, you will lead efforts to design and deliver high-assurance software systems, using cutting-edge techniques to ensure security and reliability. Collaborating with a multidisciplinary team of researchers and engineers, you will push the boundaries of provably secure software systems. If you are passionate about building high-assurance systems to meet real-world challenges and thrive in a dynamic, innovation-driven environment, we invite you to apply.
What you will do:
- Design and implement software solutions using Rust, emphasizing security, performance, and maintainability.
- Leverage formal methods techniques (e.g., model checking, theorem proving, abstract interpretation) to verify software correctness and reliability.
- Develop and maintain formal specifications, proofs, and comprehensive documentation for critical components.
- Integrate and enhance formal verification tools within the software development lifecycle.
- Collaborate with cross-functional teams to translate complex requirements into provable software designs.
- Drive organizational adoption of formal methods and Rust best practices.
- Stay informed of advancements in Rust programming and formal verification, incorporating innovative tools and methodologies into projects.
What you will need (Basic Qualifications):
- A bachelor’s or advanced degree (Master’s or PhD) in Computer Science, Computer/Electrical Engineering, Mathematics, or a related technical field.
- 3-5 years of professional (or equivalent) experience in software engineering, cybersecurity, or mathematics.
- Strong expertise in Rust programming and familiarity with its safety-focused paradigms and Rust-specific tools (e.g., Kani, Prusti, RustBelt, Creusot).
- Solid understanding of mathematical logic, such as higher-order logic or type theory.
Nice if you have (Preferred):
- Advanced degree in Computer Science, Mathematics, or a related field with a focus on formal methods, high-assurance systems, or programming language theory.
- Experience with formal methods tools and techniques, including any of the following:
- Interactive theorem provers (e.g., Coq, Isabelle/HOL)
- SMT solvers (e.g., Z3, CVC)
- Model checkers or abstract interpreters
- Contributions to open-source Rust projects or formal verification tools.
- Experience in modern cryptography and its practical applications.
- Background in developing cybersecurity solutions or high-assurance systems.
- Research experience or a strong publication record in formal methods or related fields.
Security Clearance:
- Active Top Secret Clearance with the ability to obtain SCI
#LI-ZS1
#LI-ONSITE
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.
Salary Range$103,200—$209,000 USD
Everything You Need, One Platform.
From job listings to startups, investors to funding rounds, and everything in between, Employbl puts the power in your hands. Why wait?
Start your free trial today!Stay Ahead of the Curve
Sign up for our newsletter to stay informed about the latest startups and trends in the tech market. Let Employbl be your guide to success.
Two Six Technologies Company Size
Between 200 - 1,000 employees
Two Six Technologies Founded Year
2021
Two Six Technologies Total Amount Raised
$42,360,712
Two Six Technologies Funding Rounds
View funding detailsSeries Unknown
$2,200,000 USD
Series Unknown
$6,525,110 USD
Series Unknown
$10,000,055 USD
Series Unknown
$4,750,350 USD
Series Unknown
$18,885,200 USD