Job Closed

This listing is no longer active.

Code Metal logo
Code Metal

AI-Powered development at the Edge.

Research Engineer – Formal Methods

Research EngineerResearch EngineerOtherRemoteSeniorTeam 11-50Since 2023H1B No SponsorCompany SiteLinkedIn

Location

Massachusetts

Posted

137 days ago

Salary

0

Seniority

Senior

Postgraduate DegreeEnglishPythonRust

Job Description

Research Engineer – Formal Methods

Code Metal

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

Job 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 core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines.
  • Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems.
  • Familiarity with interactive and automated theorem provers (e.g., PVS, Coq, Lean, SMT solvers), static analyzers (e.g., Frama-C, Infer, Polyspace), and property-based testing libraries (e.g., QuickCheck, Hypothesis) is a strong plus.
  • Expertise in one or more of the following areas: 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.
  • Preferred Qualifications
  • Experience integrating formal methods into CI/CD pipelines or software development workflows.
  • Contributions to open-source formal methods tools.
  • Experience working in high-assurance industries (e.g., aerospace, medical devices, automotive).

Benefits

  • Health Care Plan (Medical, Dental & Vision).
  • 401k with 5% matching.
  • Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays).
  • Flexible hybrid work arrangement.
  • Relocation assistance for qualifying employees.

Related Categories

Related Job Pages

More Research Engineer Jobs

This description is a summary of our understanding of the job description. Click on 'Apply' button to find out more. Role Description We are seeking a detail-oriented intern to provide administrative, content, and quality improvement support for grant-funded educational events. This role is ideal for a highly organized individual with strong proofreading skills who is comfortable working independently in a remote environment. The intern will support event preparation, execution, and post-event reporting. Must be a current Lipscomb University student, may be federal work study eligible. Key Responsibilities - Proofread and refine educational cases and facilitator guides developed by program leadership - Assist in translating case content into clear, structured scripts for standardized patient actors - Design and maintain event schedules - Provide logistical support for virtual events (approximately four per semester, conducted via Zoom) - Track and record participant attendance following events - Design and distribute event completion certificates - Assist with the design, distribution, and interpretation of participant quality improvement (QI) surveys - Gather and organize data and documentation for reports required by the funding agency Qualifications - Proficiency with Microsoft Office (Word, Excel, PowerPoint) or equivalent productivity software - Strong proofreading, editing, and attention-to-detail skills - Excellent organizational and time management abilities - Clear written communication skills - Comfort working with virtual platforms (e.g., Zoom, online surveys) How to Apply Interested candidates should submit a brief resume and a short statement of interest highlighting relevant skills and availability.

United States
Job Closed
Full TimeRemoteTeam 1,001-5,000Since 2000H1B Sponsor

• Design, implement, and maintain SFT and RL post-training pipelines for multi-step coding agents. • Train and adapt LLMs for agent workflows, including planning, tool use, and multi-step interactions inside JetBrains IDEs. • Build and develop evaluation and simulation environments where coding agents can act, be measured, and compared on realistic developer tasks. • Design evaluation frameworks and metrics for agent behavior, analyze traces and logs, and close the loop from evaluation back into training, data, and reward design. • Analyze training and evaluation results to propose and implement improvements to model architectures, training recipes, and datasets. • Work with large-scale infrastructure, including distributed training on GPU clusters and large MapReduce-style data processing for pre-training and fine-tuning datasets. • Collaborate closely with research, product, and infrastructure teams to turn high-level product visions into concrete models, experiments, and shipped features.

Netherlands
Bugcrowd logo

Vulnerability Research Engineer

Bugcrowd

See Security Differently™

Research Engineer145 days ago
OtherRemoteTeam 201-500Since 2012H1B No Sponsor

• Focus on end-to-end exploit development for real-world targets. • Design, develop, and validate novel vulnerability discovery and exploitation capabilities against complex software and systems. • Work at the operating system, binary, and micro-architectural levels, emphasizing creating new technical capabilities. • Comfort operating with minimal supervision, incomplete problem definitions, and delayed feedback.

Alabama + 2 moreAll locations: Alabama | Massachusetts | Pennsylvania
$154.8K - $193.5K / year
Anthropic logo

Research Engineer

Anthropic

Anthropic is an AI safety and research company working to build reliable, interpretable, and steerable AI systems.

Research Engineer150 days ago
OtherRemoteTeam 11-50Since 2020H1B Sponsor

• Build the next generation of agentic environments • Build rigorous evaluations that measure real capability • Collaborate with cross-functional teams for production training • Debug and iterate across research and production ML stacks • Contribute to research culture through discussions and problem-solving

California + 2 moreAll locations: California | New York | Washington
$500K - $800K / year