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 2023, 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.
They ask whether something can be done. We ask what it takes to put it in the operator's hands. If invention is the part you love, that's a great career - it's just a different one than this.
Where this sits
ExistX works across four technical verticals - cryptographic engineering, cybersecurity engineering, systems engineering and integration, and software engineering and modernization - for multiple customers across Arlington VA, Dayton OH, Laurel MD, and Oklahoma City OK. The most interesting work is where those verticals overlap.
The role starts on the work described below. It is not the only work here, and it is not the only place you can do it.
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
- U.S. citizenship and an active TS/SCI with full-scope polygraph
- 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
What we hire for
- Own the Outcome - we deliver ready to operate. The work isn't done when it's technically complete; it's done when it's integrated, reliable, and in the customer's hands.
- Invest in Each Other - we know each other before we need each other. Disagreement goes to the person, not around them.
- Learn Past Your Lane - better than we were yesterday. We get our own work right first, then we learn past it.
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.
Skills Required
- U.S. citizenship
- Active TS/SCI clearance with full-scope polygraph
- Bachelor of Science degree in Computer Science or a related field
- 5+ years of professional software development experience developing enterprise software applications
- Expertise with multiple backend programming languages, such as Java, C, C++, Rust, or Python
- Experience developing scalable systems capable of handling large data sets
- Strong technical writing skills and experience developing and maintaining documentation
- Knowledge of cryptographic algorithms or cybersecurity concepts
- Experience with 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
What We Do
At ExistX, our mission is to bridge the gap between inventive technology and tangible impact. We are a technology enabled services company, dedicated to transforming groundbreaking research into software solutions that solve practical, real-world challenges.
