About Precision Federal
Precision Federal is a small business building AI, data and software systems for government agencies. The company’s founder loves God, and the company is built on Christian faith: every number we publish is real, every claim we make is verifiable, and the work is done with excellence as service to God. Faith is welcome here and openly shared.
How this role works
- You join the bench. You apply with your weekly hours and start time. We set your hourly rate from your résumé, and we may name you on proposals that match this role. If we don't win, you owe nothing.
- A contract is awarded. The award funds the team named in the proposal. Your engagement begins at the hourly rate we agreed on.
- You work remote, paid from the contract. ~40–80 hrs per funded award — and if no award ever funds, you owe nothing and lose nothing.
What you’ll do
- Review our verification, proof, and assurance-case work against real certification practice.
- Tell us where a formal-methods claim would not scale or would not satisfy a certifier.
- Check our claims about assurance coverage and effort before they reach an evaluator.
Required qualifications
- Direct experience with formal methods, static analysis, or software assurance on a certified system.
- Working knowledge of an assurance case, DO-178C, or an equivalent certification regime.
- Willing to be named in a federal proposal with your consent, each time.
Preferred qualifications
- A certification authority, a safety-critical program office, or a formal-methods research group.
- Experience with theorem proving or model checking at scale.
Compensation & structure
1099 consulting engagement. $70–$145 per hour; we set your rate from your résumé and experience. Hours are funded by federal contract awards — roughly 40–80 hours across a 6–12 month period of performance per funded award, fully remote. No award, no hours, no obligation.