Senior Research Engineer - Rust Development and Formal Methods

Two Six Labs-posted about 1 year ago
$103,200 - $209,000/Yr
Full-time • Senior
Arlington, VA
Professional, Scientific, and Technical Services
Resume
Match Score
Upload and Match ResumeTrack Jobs with Teal

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.

  • 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.
  • 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.
  • 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.
  • Medical, dental, and vision insurance
  • Life and disability insurance
  • Retirement benefits
  • Paid leave
  • Tuition assistance
  • Professional development
Track Jobs with Teal

Job Search Resources

•
Resume Builder
•
Resume Examples
•
Cover Letter Examples

Tools

Career Hubs

Guides

Company

© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service