Software Engineer

ExistX Software EngineerExistX operationalizes advanced applied research and puts it into the environments where it matters most - on-site, on the high side. We were spun out of Galois in 2024, and our engineers work directly with Galois researchers on active programs today.Our team of software and systems engineers bring experience working with cutting-edge advancements in cryptography, cyber-physical systems, MBSE, and formal methods. We don't consult and leave. We take research that has been proven in a lab and make it work in an operational environment.? X.P(X): There exists a solution X that satisfies problem P. The solution exists. Let's build it together.About This RoleIn 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.ResponsibilitiesTranslate complex research designs into seamless, high-performance software applicationsDesign and implement mission-critical software components and servicesCollaborate with cross-functional teams of experts to implement modern software engineering best practicesMentor developers and provide hands-on technical guidanceDevelop system architectures and help drive the technical roadmapCreate and maintain technical documentationQualificationsRequiredBS in Computer Science or related field5+ years professional software development experience developing enterprise software applicationsExpertise with multiple backend programming languages such as Java, C/C++, Rust, Python, or similar languagesExperience developing scalable systems capable of handling large data setsPassion for writing high quality, high performance codeStrong technical writing skills and experience with developing and maintaining documentationPreferred QualificationsKnowledge of cryptographic algorithms or cybersecurity conceptsExperience with programming languages such as Cryptol, Haskell, or similar domain specific languagesExperience with microservices and cloud-native platforms such as Docker, Kubernetes, AWS or AzureExperience leading technical initiatives and mentoring developersLocationExistX is headquartered in Arlington, Virginia with teams in Dayton, OH, Laurel, MD, and Oklahoma City, OK, and remote employees across the U.S.This position will require on-site presence at client locations in and around Baltimore, Maryland and 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.BenefitsEmployer-paid medical, dental, and vision insurance for employees and familiesHealth Savings Account (HSA) with employer contributions401(k) with employer match25 days of paid time off in addition to 11 Federal HolidaysFlexible work location with a remote friendly cultureCompetitive salariesX20 - roughly twenty percent of your time, funded inside the week, for work you choose: certifications, internal tooling, research proposals, white papers. Not hours on top of a full billable week. Inside it.Security and Citizenship RequirementThe employee must be a U.S. Citizen with an active TS/SCI + full-scope Poly.