Code Metal
Research Engineer - Formal Methods
Boston Hub
Sponsorship not specifiedDetected 60 days ago
PythonC++AlgorithmsCode ReviewCI/CDCybersecuritySignal ProcessingMedical DevicesResearchCommunication
About the role
- Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team.
- In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products.
Responsibilities
- Collaborate across multidisciplinary teams, contributing to both research initiatives and production-grade solutions.
- Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems.
- Eligible to obtain and maintain an active U.S. Top Secret security clearance
Requirements
- Advanced degree (Master's or Ph.D.) in Computer Science, Mathematics, or a related field, with a focus on software engineering, formal methods, and programming languages.
- Experience integrating formal methods into CI/CD pipelines or software development workflows.
- Ability to translate technical research into practical engineering solutions.
- Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines.
- US Citizenship may be required for certain project assignments involving security clearance.
Compensation
- Pay depends on experience, but we strive to be at the upper end of the salary range
Benefits
- Health care plan with 100% premium coverage, including medical, dental, and vision
- Paid Time Off (uncapped vacation, plus sick and public holidays)
- Flexible hybrid or remote work arrangement
Equal opportunity
- We are an equal opportunity employer.
Visa & Work Authorization
- Top Secret security clearance
Apply directly at Code Metal →Create a free account for alerts like thisView Code Metal immigration profile
This listing is sourced directly from Code Metal's careers page and normalized into a canonical job model.