Research Engineer - Formal Methods

1 month 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

Associate Research Scientist, Evidence Generation

Precision AQ 1001-5000 Business Consulting and Services

Precision Medicine Group is hiring an Associate Research Scientist to support primary data collection studies in its Evidence Generation team for pharmaceutical and biotech clients.

R
7 hours, 42 minutes ago

Sr. Staff AI Research TLM - AI Systems

Databricks 1K-5K IT Services

Databricks is seeking a Principal Research Scientist to lead its AI Scaling team in advancing large-scale machine learning and LLM efficiency research that improves how customers train, serve, and adapt models in production.

Apache Spark Generative AI LLM MLflow Python PyTorch
1 day, 22 hours ago

Senior/Staff Deep Reinforcement Learning Engineer

DoorDash 10K-50K Air Freight & Logistics

DoorDash is hiring a Senior/Staff Deep RL Engineer to develop and deploy real-time autonomous driving policies for its DD Labs team, from problem formulation and training through on-vehicle inference.

Deep Learning Reinforcement Learning
1 day, 23 hours ago

Senior Scientist - Optical Signal Processing

STR 251-1K Aerospace & Defense

STR’s Maritime Domain Awareness Group is hiring a Senior Scientist to develop airborne passive optical signal processing algorithms for detecting and classifying low-SNR targets in cluttered national security environments.

Computer Vision MATLAB Python
2 days, 2 hours 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