HCSSR jobs in Fort Meade, MD
High Confidence Software and Systems Researcher
Formal methods, mathematical proofs, software correctness, secure architecture, and research for systems where failure is not acceptable.
Apply for this RoleGS Consulting Environment
Engineering for Zero Defect Environments
At GS Consulting, we know that in the Intelligence Community, some systems simply cannot fail. When lives, covert operations, and national security are on the line, good enough software is a liability. We need capabilities that are secure by design and mathematically proven to operate correctly under extreme operational pressure.
As a High Confidence Software and Systems Researcher with GS Consulting, you operate at the frontier of high assurance engineering. You will apply formal methods, advanced logic, and rigorous mathematical proofs to guarantee software correctness. You will research, prototype, and validate architectures that eliminate entire classes of vulnerabilities before the code is compiled.
Mission and Responsibilities
Core Responsibilities
Our researchers tackle the DoD's most critical systemic vulnerabilities. Depending on your LCAT level, you will be expected to:
- Apply formal methods, mathematical logic, and automated theorem proving to verify software correctness and system security.
- Research and develop high assurance systems architectures that are resilient against advanced persistent threats.
- Design, prototype, and evaluate advanced software systems for zero defect environments within the Intelligence Community.
- Analyze complex, mission critical systems to identify deep structural flaws, race conditions, or exploitable security weaknesses.
- Transition theoretical high confidence models and research prototypes into operational secure codebases alongside deep stack software engineers.
Technical Domains
Required Technical Domains
Successful High Confidence Researchers at GS Consulting must bring theoretical and applied experience across these domains:
- Formal methods and mathematically provable security
- High assurance systems architecture and design
- Advanced mathematics, logic, and automated theorem proving
- Vulnerability research and mitigation techniques
- Secure coding practices and formal verification tooling including Coq, TLA plus, and seL4
Preferred Degree Fields
Due to the theoretical rigor and deep scientific nature of this role, degrees must be from an accredited institution in a highly technical discipline such as Computer Science, Mathematics, Computer Engineering, Electrical Engineering, or Physics.
Qualification Paths
LCAT Qualification Paths
We are actively staffing billets across all four HCSSR levels. Please review the experience requirements below. Relevant experience must involve formal methods, high assurance design, software correctness, or mathematically provable security.
Level 1
- Bachelor Degree plus 2 years of experience
- Master Degree plus 0 years of experience
Level 2
- Bachelor Degree plus 5 years of experience
- Master Degree plus 3 years of experience
- Doctorate plus 0 years of experience
Level 3
- Bachelor Degree plus 8 years of experience
- Master Degree plus 6 years of experience
- Doctorate plus 4 years of experience
Level 4
- Bachelor Degree plus 11 years of experience
- Master Degree plus 9 years of experience
- Doctorate plus 7 years of experience
Ready to prove the system?
Send us your resume. Please include your active clearance level, specific formal methods or verification experience, and the HCSSR level you are targeting.