Research Engineer - Formal Methods

5 hours, 51 minutes ago
Full-time
Senior
Software Development

Code Metal

Code Metal builds verifiable code translation software for mission-critical industries. Its platform translates code across languages and hardware architectures, then verifies correctness, compliance, and performance for use cases like edge development, code portability, and code modernization.

Software Development
51-200
Founded 2023
$178M raised

Description

  • Translate formal methods research into implemented solutions and integrate them into production-ready Code Metal products.
  • Apply and adapt formal verification tools and frameworks to make them accessible to practicing engineers.
  • Conduct experiments to evaluate the applicability and effectiveness of formal methods on industrial-scale codebases.
  • Collaborate closely with researchers and engineers across multidisciplinary teams.
  • Contribute to both research initiatives and production-grade solutions.
  • Embed formal methods techniques into Code Metal workflows.

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.
  • Strong programming skills in Python, C/C++, or Rust.
  • Demonstrated proficiency in version control, code review, testing, continuous integration, build systems, and release pipelines.
  • Strong software engineering skills combined with a solid background in formal methods.
  • Familiarity with interactive and automated theorem provers such as PVS, Coq, Lean, or SMT solvers is a strong plus.
  • Experience with static analyzers such as Frama-C, Infer, or Polyspace is a strong plus.
  • Experience with property-based testing libraries such as QuickCheck or Hypothesis is a strong plus.
  • Expertise in one or more of theorem proving, SMT solving, program synthesis, and static analysis.
  • Ability to translate technical research into practical engineering solutions.
  • Excellent communication skills and a collaborative mindset.
  • Experience integrating formal methods into CI/CD pipelines or software development workflows (preferred).
  • Contributions to open-source formal methods tools (preferred).
  • Experience working in high-assurance industries such as aerospace, medical devices, or automotive (preferred).

Benefits

  • Health Care Plan with medical, dental, and vision coverage.
  • 401(k) with 5% matching.
  • Paid time off, including uncapped vacation, sick leave, and public holidays.
  • Flexible hybrid work arrangement.
  • Relocation assistance for qualifying employees.

Interested in this position?

Apply directly on the company website

Apply Now

Similar Roles

Research Engineer

Foundation EGI 11-50 Technology, Information and Internet

Research Engineer at an MIT-born, venture-backed startup building an AI copilot for design and manufacturing to improve engineering productivity across the product design and manufacturing workflow.

LLM Machine Learning Python Reinforcement Learning
2 hours, 37 minutes ago

Quantitative Researcher

Binance 5K-10K Capital Markets

Binance is hiring a Quantitative Researcher in its Quantitative Strategy team to develop and implement pricing, risk management, and agency trading strategies for its global trading platform.

Agile Blockchain Machine Learning Python Statistics
3 hours, 51 minutes ago

Senior Research Scientist - Personalization

Spotify Media

Spotify is hiring a Senior Research Scientist on its Personalization team to advance machine learning and AI research that shapes long-term recommendation and discovery experiences for millions of listeners.

Generative AI Machine Learning
4 hours, 6 minutes ago

Staff AI Forward Deployed Engineer

Databricks 1K-5K IT Services

Databricks is seeking a Staff AI Engineer / Staff Forward Deployed Engineer to work directly with customers on designing and productionizing advanced GenAI applications while shaping product direction and internal expertise.

Apache Spark AWS Azure GCP Generative AI Hugging Face Machine Learning MLflow Pandas PyTorch Scikit-learn
4 hours, 51 minutes ago

You're on a roll! Sign up now to keep applying.

Sign Up

Already have an account? Log in

Used by 14,729+ remote workers