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
CODEMETAL
Code Metal is looking for a Research Engineer specialized in Formal Methods to bridge theory and practice by implementing and integrating testing and verification tools into their products. The role involves collaborating with researchers and engineers to embed formal methods into workflows, conduct experiments on industrial codebases, and translate research into production-ready solutions.
Headquarters
Spain
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 CODEMETAL.
CODEMETAL didn’t post a salary, so this is our estimate from similar listings.
20% below the average for this role
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates
Senior Principal Research Engineer, Formal Methods
RTX
Formal Methods Research Intern
Leidos
Founding Member of the Technical Staff - Formal Methods
Architect.dev
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com
Research Software Engineer, Formal Methods
RTX