ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Markon
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. The role involves advancing formal verification techniques to ensure system security and reliability, with a focus on research and collaboration with engineering teams.
Headquarters
Falls Church, Virginia, United States
Company Size
201-500 employees
Founded
2007
Markon is a professional services firm and mission integrator specializing in full-spectrum cyber, digital transformation, and critical intelligence solutions for national security. They partner with federal agencies to secure critical systems, modernize enterprise architecture, and strengthen decision advantage across complex national security missions. Based in Falls Church, VA, Markon combines technology-enabled solutions with a mission-first approach to advance their clients' most critical priorities.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Markon.
Principal Engineer, Compilers & Formal Methods
NVIDIA
Formal Verification Engineer - Firmware
NVIDIA
Staff Applied Research Scientist
Snowflake
Research Software Engineer, Formal Methods
RTX
Computational Reasoning & Optimization Software Engineer, Lead
Booz Allen Hamilton
Formal Methods Research Intern
Leidos