Posted today
Top Secret
$200,000 - $250,000
Unspecified
Arlington, VA (On-Site/Office)
Markon's partner company is seeking an Applied Scientist specializing in Automated Reasoning and Formal Methods to support a classified development environment and day-to-day build operations. This role focuses on advancing the application of formal verification techniques to ensure the security and reliability of complex computer systems.
The ideal candidate is a formal methods expert with strong research experience who can work both independently and collaboratively to develop rigorous proofs and verification strategies for mission-critical systems
Responsibilities
Qualifications
Technical Skills
Strong working knowledge of formal methods tools and frameworks, such as:
Salary Range
USD $200,000.00 - USD $250,000.00 /Yr.
The Markon pay range for this position is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
Overview
Eager to join a team where your skills are valued, your growth is nurtured, and your impact is profound? Look no further than Markon, a premier consulting firm deeply dedicated to advancing our nation's most critical missions.
At Markon, we don't just offer jobs - we offer opportunities for personal and professional transformation. Empowering our employees to lead, innovate, and excel, we foster an environment where new ideas are not just welcomed but celebrated. As a perennial Washington Post Top Workplace, we prioritize the well-being and success of our team members, ensuring they can bring their best selves to work.
Headquartered in Falls Church, Virginia, Markon has garnered national recognition for our unwavering dedication to excellence in serving the intelligence community, as well as federal civilian and defense agencies. Our growing reach extends across 17 states, 116 countries, and 5 continents, where our team of dynamic professionals collaborates to deliver unparalleled program and project management services.
Markon values people and the tremendous impact each individual can make - which is why we're consistently recognized as one of the best places to work in federal government consulting. Here, you can help solve the nation's most important challenges, surrounded by colleagues who help you grow, advance, and succeed. We are deeply dedicated to what matters - bringing out the best in each other to advance our clients' missions.
Join us and make a meaningful impact.
Markon is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, pregnancy, national origin, age, protected veteran status, or disability status. This job posting will remain open until the position is filled.
Benefits Offered : Medical, Dental, Vision, Life Insurance, Short-Term Disability, Long-Term Disability, 401(k) match, Flexible Spending Accounts, EAP, Training and Tuition Assistance, Paid Time Off, and Holidays
The ideal candidate is a formal methods expert with strong research experience who can work both independently and collaboratively to develop rigorous proofs and verification strategies for mission-critical systems
Responsibilities
- Apply formal methods and automated reasoning techniques to verify the security and correctness of software and computer systems
- Conduct research and development supporting government customers in classified environments
- Develop and deliver formal proofs of security for complex computing systems
- Collaborate with engineering teams to integrate formal verification methods into development workflows
- Lead and contribute to research initiatives advancing model checking, program verification, and automated reasoning
- Document research findings and technical results for internal and customer stakeholders
Qualifications
- Active TS/SCI clearance
- PhD in Computer Science or a closely related field
- 7+ years of experience in formal methods, automated reasoning, or related research areas
- Strong publication record in areas such as:
- Formal logic
- Model checking
- Program verification
- Experience performing research and development work for government customers
- Experience applying formal methods in real-world or industry environments
- Demonstrated ability to work independently and lead technical teams in delivering formal verification results
Technical Skills
Strong working knowledge of formal methods tools and frameworks, such as:
- SAW / Cryptol
- Kani
- Tamarin
- SPIN
- SAT / SMT Solvers
- Interactive Theorem Provers
Salary Range
USD $200,000.00 - USD $250,000.00 /Yr.
The Markon pay range for this position is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
Overview
Eager to join a team where your skills are valued, your growth is nurtured, and your impact is profound? Look no further than Markon, a premier consulting firm deeply dedicated to advancing our nation's most critical missions.
At Markon, we don't just offer jobs - we offer opportunities for personal and professional transformation. Empowering our employees to lead, innovate, and excel, we foster an environment where new ideas are not just welcomed but celebrated. As a perennial Washington Post Top Workplace, we prioritize the well-being and success of our team members, ensuring they can bring their best selves to work.
Headquartered in Falls Church, Virginia, Markon has garnered national recognition for our unwavering dedication to excellence in serving the intelligence community, as well as federal civilian and defense agencies. Our growing reach extends across 17 states, 116 countries, and 5 continents, where our team of dynamic professionals collaborates to deliver unparalleled program and project management services.
Markon values people and the tremendous impact each individual can make - which is why we're consistently recognized as one of the best places to work in federal government consulting. Here, you can help solve the nation's most important challenges, surrounded by colleagues who help you grow, advance, and succeed. We are deeply dedicated to what matters - bringing out the best in each other to advance our clients' missions.
Join us and make a meaningful impact.
Markon is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, pregnancy, national origin, age, protected veteran status, or disability status. This job posting will remain open until the position is filled.
Benefits Offered : Medical, Dental, Vision, Life Insurance, Short-Term Disability, Long-Term Disability, 401(k) match, Flexible Spending Accounts, EAP, Training and Tuition Assistance, Paid Time Off, and Holidays
group id: 10304679
N
