Sr. Software Engineer - Cryptographic Systems Architect - MIT Lincoln Laboratory

Job Description

As a Cryptographic Systems Architect, you will be working as part of a small, energetic team,  to take point on designing, prototyping, and reasoning about cryptographic applications in memory-safe Rust. You will advance the practice of modern secure-by-design software development, especially in the context of next generation cryptographic systems. You will be contributing to national security by creating forward-looking, impactful technologies and helping the group mature and transition these technologies outside the R&D environment into productization by Industry and eventual use.

Requirements

• Master’s degree in Cryptography, Computer Security, System Engineering, Computer Science, Software Engineering, Computer Engineering, or related fields, OR relevant experience
• Experience with applied cryptography and algorithms (e.g., AES, asymmetric crypto, etc.)
• Proficiency with and 2+ years of development experience in Rust
  OR
  Proficiency with and 5+ years of development experience in another systems programming language (e.g., C, C++, Java)
• Knowledge and experience in two or more of the followin
  • Familiarity with the software development lifecycle or DevSecOps, including design, documentation, and testing, as well as modern software development tools
  • Familiarity with version control systems (e.g., Git) and/or continuous integration
  • Active involvement in open-source development communities, particularly Rust
  • Experience with analysis, architecture, design, or implementation of secure systems
  • Solid understanding of data structures and algorithms
  • Academic or professional research experience and/or publications in the areas of cryptography, secure and/or embedded development, computer and software security, resiliency, or language security
• Being a self-starter, having effective communication skills, and holding a willingness to continually learn and question in an interdisciplinary environment

Optional, Helpful Technical Skills

Helpful skills and experiences through work, classwork, and/or research include the followin

• Experience using/implementing or general familiarity with PQC asymmetric algorithms (e.g., Kyber, Dilithium, etc.)
• Experience developing and preparing devices or software for government certification (e.g., FIPS 140, NSA High-Assurance, etc.)
• Familiarity with threat modeling and security requirements analysis OR experience with secure development and verification of embedded systems (e.g., VHDL, ASM, etc.)
• Software development experience with SWaP-constrained devices
• Knowledge of best practices for hardware-software co-design
• Understanding of processors and SoC architecture