Senior Research Engineer - Rust Development and Formal Methods

Two Six Labs • Arlington, VA

448d • $103,200 - $209,000

About The Position

The Senior Research Engineer at Two Six Technologies will specialize in Rust development and formal methods, leading the design and delivery of high-assurance software systems. This role emphasizes collaboration within a multidisciplinary team to create secure and reliable software solutions that address complex real-world challenges.

Requirements

• A bachelor's or advanced degree in Computer Science, Computer/Electrical Engineering, Mathematics, or a related technical field.
• 3-5 years of professional experience in software engineering, cybersecurity, or mathematics.
• Strong expertise in Rust programming and familiarity with its safety-focused paradigms and Rust-specific tools.
• Solid understanding of mathematical logic, such as higher-order logic or type theory.
• Active Top Secret Clearance with the ability to obtain SCI.

Nice To Haves

• 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 interactive theorem provers and SMT solvers.
• 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.

Responsibilities

• Design and implement software solutions using Rust, focusing on security, performance, and maintainability.
• Leverage formal methods techniques 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.

Benefits

• Medical, dental, and vision insurance
• Life and disability insurance
• Retirement benefits
• Paid leave
• Tuition assistance
• Professional development

What This Job Offers

• Job Type: Full-time
• Career Level: Senior
• Industry: Professional, Scientific, and Technical Services
• Education Level: Bachelor's degree