Formal Methods & Software Assurance Subject-Matter Expert

About Precision Federal

Precision Federal is a Christian-owned small business building AI and software systems for federal agencies through the SBIR program. The founder is a Christian, and the company is run on Christian principles: every number we publish is real, every claim we make is verifiable, and the work is done with excellence as service to God. Every proposal we submit is backed by working prototypes built before we ask for a dollar.

How this role works

1. You join the bench. We name you (with a short bio) on proposals that match this role, always asking you first. Consent costs you nothing and commits you to nothing until an award funds.
2. A contract is awarded. Federal SBIR awards fund the team named in the proposal. Your engagement begins, at an hourly rate agreed before you were ever named.
3. 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. $100–$125 per hour, confirmed in writing before you are named on any proposal. 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.

Apply — Formal Methods & Software Assurance Subject-Matter Expert

Every application is read personally by the founder. We respond to every serious one.

First name *

Last name *

Email *

Phone

City & state

Years of relevant experience * Select Under 5 5–10 10–15 15–20 20+

Work authorization * Select U.S. citizen U.S. lawful permanent resident Other

Security clearance Select (optional) None Prior (inactive) Active

Military service Select (optional) None Veteran Retired military Currently serving (Guard/Reserve)

LinkedIn or portfolio link

Resume (PDF or Word) *

How did you hear about us?

Five questions

These are the substance of the application. Answer from your own experience — a few sentences each is plenty, and “this never came up” is a real answer we want.

1. How often did assurance evidence that cost far more to produce than anyone budgeted come up in your work, and roughly what did it cost — in hours, in people, or in rework? *

2. What tool or process does your organization use today for formal verification and software assurance, and where does it fall short? *

3. If a better way to handle formal verification and software assurance existed, which office or role would decide whether to adopt it? *

4. Do you have any role in deciding what tools or systems your organization adopts — approving, evaluating, or recommending a purchase? *

5. Do you own, or hold signing authority for, a company or consultancy of your own? *

May we credit you by name and title in our federal proposals? * Please choose…YesNo

Submit application

Questions before applying? [email protected] · See all open roles