Software Development Engineer, Amazon Cryptographic Libraries

Amazon Amazon · Big Tech · Seattle, WA · Software Development

Software Development Engineer role focused on building and maintaining cryptographic libraries for AWS services and open-source consumers. The role involves applying generative AI tools to enhance open-source library security, including automated CVE backports and vulnerability triage.

What you'd actually do

  1. Design, implement, test, and maintain cryptographic functionality in AWS-LC and related libraries used across Amazon and by external open-source consumers.
  2. Own features end to end, from design through code review, testing, release, and operational support, on a codebase where correctness is non-negotiable.
  3. Build and apply generative-AI tooling to open-source library security, including automated CVE backports, vulnerability triage, and code review at scale.
  4. Raise the bar on code quality, test coverage, and engineering practices for a security-critical, widely deployed codebase.
  5. Collaborate with Applied Scientists, security engineers, and partner teams (AWS services and open-source consumers) to land changes safely at scale.

Skills

Required

  • 3+ years of non-internship professional software development experience
  • Bachelor's degree or equivalent
  • Knowledge of system performance, memory management, and parallel computing principles
  • Knowledge of professional software engineering & best practices for full software development life cycle, including coding standards, software architectures, code reviews, source control management, continuous deployments, testing, and operational excellence

Nice to have

  • 3+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience
  • Bachelor's degree in computer science or equivalent
  • Proficiency in at least one modern programming language such as Rust, Python, Java, C, C++, or C# including object-oriented design

What the JD emphasized

  • correctness is non-negotiable
  • security-critical
  • FIPS-validated
  • formal verification