Existx

About Us
ExistX 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 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
Required

• 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 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.
Benefits

• Employer-paid medical, dental, and vision insurance for employees and families
• Health Savings Account (HSA) with employer contributions
• 401(k) with employer match
• 25 days of paid time off in addition to 11 Federal Holidays
• Flexible work location with a remote friendly culture
• Competitive salaries
• X20 - 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 Requirement
The employee must be a U.S. Citizen with an active TS/SCI + full-scope Poly.