Senior Software Engineer - Cybersecurity R&D

Peraton Labs delivers innovative solutions and revolutionary new capabilities to solve the most difficult and complex challenges for government agencies, utilities, and commercial customers. With a distinguished heritage tracing back to Bell Labs, Bellcore, and Telcordia, our experts pave the way.

We are seeking a highly skilled Senior R&D Engineer to join our team working on Identity, Credential, and Access Management (ICAM) systems for the US Army and Department of Defense. The successful candidate will conduct hands-on research, provide technical expertise, and contribute to the development of innovative solutions in the ICAM domain.

Responsibilities:

Collaborate with government team lead, technical team lead, and other team members to perform research and identify solutions for ICAM-related systems.
• Provide input and feedback on ICAM policies and procedures within the US Army.
• Participate in DoD-level ICAM meetings and contribute to discussions. Oversee Army's PKI testing events as mandated by the DoD PKI PMO.
• Conduct security architecture assessments and threat modeling.
• Contribute to the development of verifiably-secure software and zero trust architectures.
• Engage in research activities related to cryptography, algorithms, and formal methods.
• Develop and maintain software using functional programming paradigms, primarily in Clojure.
• Design and implement REST APIs and backend systems for web applications.
• Collaborate with team members in a remote environment, turning high-level project guidance into actionable tasks.

Required:

• Minimum of 8 years with BS/BA; Minimum of 6 years with MS/MA; Minimum of 3 years with PhD
• Active DoD Secret Clearance
• Expertise in security domains, including cryptography, network security, and zero trust architecture
• Experience with functional programming languages (Clojure preferred) and software design in a functional paradigm
• Strong background in algorithms, formal methods, or related academic/professional research
• Proficiency in relational databases (e.g., PostgreSQL) and complex SQL queries
• Experience with Linux, shell scripting, Git, and containerization technologies
• Excellent communication, presentation, and collaboration skills

Desired:

• Experience with post-quantum cryptography
• Knowledge of PLT/compiler design
• Familiarity with modeling complex systems using graph theory or category theory
• Experience with Python and DevOps practices
• Background in security architecture and threat modeling

We encourage candidates with significant competencies in a majority of the listed qualifications, or extremely strong expertise in a smaller number of areas, to apply. Multiple positions are available for this project. If you are passionate about cutting-edge research in ICAM systems and have a strong background in security and software engineering, we invite you to join our team and contribute to critical projects for the US Army and Department of Defense.

Peraton is a next-generation national security company that drives missions of consequence spanning the globe and extending to the farthest reaches of the galaxy. As the world's leading mission capability integrator and transformative enterprise IT provider, we deliver trusted, highly differentiated solutions and technologies to protect our nation and allies. Peraton operates at the critical nexus between traditional and nontraditional threats across all domains: land, sea, space, air, and cyberspace. The company serves as a valued partner to essential government agencies and supports every branch of the U.S. armed forces. Each day, our employees do the can't be done by solving the most daunting challenges facing our customers. Visit peraton.com to learn how we're keeping people around the world safe and secure.