Software Engineer

About Us ExistX was founded in 2023 with the goal to combine cutting edge invention with practical implementation in the unique environments our customers demand to solve national security problems in the real world. Our team of software and systems engineers bring experience working with cutting-edge advancements in cryptography, cyber-physical systems, MBSE, and formal methods for both government and commercial applications. We leverage a unique suite of capabilities—incubated through our sister R&D firm, Galois, and other key research partnerships—to rapidly prototype and deliver impactful solutions to the warfighter. ∃X.P(X): There exists a solution X that satisfies problem P. The solution exists. Let’s build it together. About This Role In this role, you will rapidly prototype new capabilities, create performant backend services, and collaborate to translate complex, cutting edge software designs into software solutions for mission-critical systems. Engineers collaborate with cross functional teams of clients, partners, ExistX employees, and domain experts to design, develop, implement, and deploy advanced algorithms and software systems. Responsibilities Translate complex research designs into seamless, high-performance software applications Design and implement mission-critical software components and services Collaborate with cross-functional teams of experts to implement modern software engineering best practices Mentor developers and provide hands-on technical guidance Develop system architectures and help drive the technical roadmap Create and maintain technical documentation Qualifications BS in Computer Science or related field 5+ years professional software development experience developing enterprise software applications Expertise with multiple backend programming languages such as Java, C/C++, Rust, Python, or similar languages Experience developing scalable systems capable of handling large data sets Passion for writing high quality, high performance code Strong technical writing skills and experience with developing and maintaining documentation Preferred Qualifications Knowledge of cryptographic algorithms or cybersecurity concepts Experience with programming languages such as Cryptol, Haskell, or similar domain specific languages Experience with microservices and cloud-native platforms such as Docker, Kubernetes, AWS or Azure Experience leading technical initiatives and mentoring developers Location ExistX is headquartered in Arlington, Virginia with additional locations in Dayton, Ohio and Portland, Oregon. We have some remote employees distributed across the U.S. This position will require on-site presence at client locations in and aroundBaltimore, Marylandand Annapolis, Maryland. This position requires eligibility to work with cleared programs (active clearance required). Hybrid or onsite presence will be determined based on contract expectations and security requirements. Benefits ExistX offers a highly competitive benefits program to support employees and their families, including: Competitive salaries Employer paid medical insurance plan Health Savings Account (HSA) with employer contributions Employer paid dental and vision insurance plans 401(k) retirement plan with employer match Flexible work location with a remote friendly culture Generous paid time off (25 days per year) Security and Citizenship Requirement The employee must be a U.S. Citizen with an active TS/SCI + full-scope Poly.