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 Systems That Have to Be Trusted
Some systems cannot rely on normal testing and hope. When mission software handles sensitive operations, security boundaries, or critical decision support, the customer needs more than a clean demo. They need evidence that the system behaves correctly under pressure.
At GS Consulting, High Confidence Software and Systems Researchers work where advanced research meets practical mission engineering. This role is for people who can reason with mathematical discipline, build prototypes, evaluate architectures, and help mission teams understand what has actually been proven.
The Work
What the Role Looks Like Day to Day
HCSSR work is part research, part engineering, and part disciplined skepticism. You may model a system, define the property that has to hold, test whether the architecture supports it, and then explain the result in a way that software engineers and mission leaders can use.
A typical day may include writing proofs, building research prototypes, reviewing software behavior, analyzing architecture risk, evaluating a verification tool, or working with engineers to move a proven concept into a real codebase. The value is not only proving something works. It is knowing exactly what was proven, what was not proven, and what that means for the mission.
Mission and Responsibilities
Core Responsibilities
Our High Confidence Software and Systems Researchers tackle critical software and architecture problems. 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 threats.
- Design, prototype, and evaluate advanced software systems for mission environments where failure is not acceptable.
- Analyze complex systems to identify deep structural flaws, race conditions, and exploitable security weaknesses.
- Transition high confidence models and research prototypes into operational codebases with software and systems engineers.
Technical Domains
Required Technical Domains
Successful High Confidence Software and Systems Researchers at GS Consulting bring theoretical depth and practical engineering judgment 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
- Software correctness, model checking, and security architecture review
Preferred Degree Fields
A degree in Computer Science, Mathematics, Computer Engineering, Electrical Engineering, Physics, or a closely related technical discipline is preferred because the work is mathematically rigorous and deeply technical.
Tools and Mission Context
Proof Only Helps When It Answers the Right Question
Strong HCSSR candidates may have experience with theorem provers, model checkers, formal specification languages, secure kernels, software analysis tools, or research prototypes. Those tools matter, but the mission depends on knowing which property needs to be proven and whether the proof reflects the real system.
You may work with software engineers, cryptologic computer scientists, vulnerability researchers, systems engineers, and customer technical leads. GS Consulting looks for researchers who can bring rigor without making the work inaccessible. The best proof is one the mission can trust and the team can act on.
Compensation
Estimated Compensation Range
Estimated compensation for High Confidence Software and Systems Researcher roles ranges from $130,000 to $260,000 per year. Final compensation depends on LCAT level, years of relevant experience, clearance status, customer requirements, contract fit, and location expectations.
The range is intentionally broad because this posting covers Levels 1 through 4. A junior researcher may support verification work and prototype development, while a senior researcher may lead proof strategy, review architecture assumptions, and advise customer teams on what can be trusted.
Qualification Paths
LCAT Qualification Paths
We are actively staffing billets across all four HCSSR levels. Relevant experience should involve formal methods, high assurance design, software correctness, secure systems research, 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
Career Growth
How HCSSR Professionals Grow Across Levels
Growth in this role is measured by the quality of your reasoning, the clarity of your evidence, and your ability to help teams make better trust decisions. Senior HCSSR professionals are valued because they can define what needs to be proven, choose the right method, and explain the limits of the result.
At GS Consulting, that growth can mean leading formal methods work, mentoring junior researchers, shaping high assurance architecture, improving secure software practices, or moving into roles that connect advanced research, cryptologic computer science, and systems engineering.
Why GS Consulting
A Focused Team for High Assurance Mission Work
High confidence work can get buried inside large organizations. GS Consulting keeps the focus closer to the customer mission and the technical problem. We care about whether the evidence is strong, whether the system can be trusted, and whether the work helps the customer make a better decision.
If you want to work where formal methods and secure systems research have practical mission relevance, this is the right kind of role. We are looking for people who can think clearly, challenge weak assumptions, and make complex technical evidence useful.
Role Questions
High Confidence Software and Systems Researcher FAQ
What does a High Confidence Software and Systems Researcher do?
A High Confidence Software and Systems Researcher applies formal methods, mathematical logic, secure architecture, and software correctness techniques to critical systems. The work can include theorem proving, model checking, vulnerability research, secure prototype development, and helping mission teams understand whether a system behaves the way it is supposed to behave.
What clearance is required for GS Consulting HCSSR roles?
GS Consulting High Confidence Software and Systems Researcher roles require an active TS/SCI clearance. Candidates must also meet customer, contract, and site access requirements for the specific billet. If additional customer screening is required, that will be handled during recruiting rather than posted as public qualification language.
What experience is required for HCSSR Level 1, 2, 3, and 4?
Level 1 starts at a Bachelor Degree plus 2 years or a Master Degree plus 0 years. Level 2 ranges from 0 to 5 years depending on degree path. Level 3 ranges from 4 to 8 years. Level 4 ranges from 7 to 11 years. Relevant experience should involve formal methods, high assurance design, software correctness, secure systems research, or mathematically provable security.
Are these High Confidence Software and Systems Researcher jobs onsite?
Yes. These roles support cleared work in the Fort Meade, MD and Annapolis Junction area. Because the work involves sensitive systems, classified facilities, and customer mission environments, candidates should expect onsite work rather than a remote arrangement.
What skills make a strong HCSSR candidate?
Strong candidates combine research depth with engineering discipline. Useful skills include formal methods, theorem proving, model checking, secure systems design, high assurance architecture, vulnerability research, software correctness, mathematical logic, and the ability to explain complex proof or verification results to mission and engineering teams.
How do I apply for GS Consulting HCSSR roles?
Use the Apply for this Role button on this page or email your resume directly to info@gsconsultingllc.com. Include your active clearance level, formal methods or verification experience, preferred level, and any relevant high assurance systems, proof tooling, or secure architecture background.
Ready to prove what matters?
Send us your resume. Please include your active clearance level, formal methods or verification experience, preferred HCSSR level, and any relevant high assurance systems, proof tooling, or secure architecture background.