ZipRecruiter

Log In

Code Metal

60 Code Metal Product Development Jobs Hiring Near You

Code Metal

Research Engineer - Formal Methods

Boston, MA · On-site

... into Code Metal products. You will collaborate closely with researchers and engineers to embed ... Demonstrated proficiency in core software development practices, including: version control, code ...

Code Metal

Research Engineer - Formal Methods

Boston, MA · On-site +1

... into Code Metal products. You will collaborate closely with researchers and engineers to embed ... Demonstrated proficiency in core software development practices, including: version control, code ...

Code Metal

Research Engineer - Formal Methods

Boston, MA · Remote

... into Code Metal products. You will collaborate closely with researchers and engineers to embed ... Demonstrated proficiency in core software development practices, including: version control, code ...

Code Metal

Technical Product Advocate

Boston, MA · On-site +1

$181.40K - $209.70K/yr

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Strong software development experience, including writing, debugging, and working with production ...

Code Metal

Technical Product Advocate

San Francisco, CA · On-site

$196.80K - $227.40K/yr

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Strong software development experience, including writing, debugging, and working with production ...

Code Metal

Technical Product Advocate

San Francisco, CA · On-site +1

$196.80K - $227.40K/yr

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Strong software development experience, including writing, debugging, and working with production ...

next page

Showing results 1-20

All JobsCode Metal Product Development Jobs

Code Metal Jobs Information

What are the key skills and qualifications needed to thrive in Product Development, and why are they important?

To thrive in Product Development, you need expertise in market research, project management, and product lifecycle understanding, often supported by a degree in engineering, business, or a related field. Familiarity with tools like Agile software, prototyping platforms, and product management systems (e.g., Jira, Trello) is typically required. Creativity, strong communication, and cross-functional collaboration are crucial soft skills for success in this role. These competencies ensure the creation of innovative, user-centric products that successfully reach the market and meet business goals.

What are some common challenges faced by professionals in Product Development, and how can they be addressed?

Product Development professionals often encounter challenges such as balancing customer needs with technical feasibility, managing cross-functional team communication, and meeting tight deadlines. Navigating these issues typically involves clear prioritization, regular stakeholder check-ins, and fostering a collaborative environment with engineering, design, and marketing teams. Utilizing agile methodologies and maintaining open feedback channels can also help streamline processes and ensure alignment on project goals.

What is product development?

Product development is the process of creating new products or improving existing ones to meet customer needs and business goals. It involves several stages, including idea generation, market research, design, prototyping, testing, and launching the product to the market. Product development often requires cross-functional collaboration between teams like marketing, engineering, design, and manufacturing. The goal is to deliver a product that provides value to customers and stands out in the marketplace.

What is the difference between Product Development vs Product Management?

AspectProduct DevelopmentProduct Management
Primary FocusDesigning, creating, and building productsStrategizing, planning, and overseeing product lifecycle
Required SkillsTechnical skills, engineering, designMarket research, communication, leadership
Work EnvironmentEngineering teams, R&D, technical departmentsCross-functional teams, executive meetings
Common CertificationsEngineering degrees, technical certificationsProduct management certifications (e.g., PMP, Scrum)

Product Development focuses on creating and building products, involving technical and engineering tasks. Product Management involves strategizing, planning, and guiding the product's lifecycle, requiring strong market and leadership skills. While they collaborate closely, their core responsibilities differ: one builds, the other manages the product's success.

What are the most popular job types at Code Metal?
    What are the most popular jobs at Code Metal?
    What are the most popular categories at Code Metal?
    Infographic showing various Product Development job openings at Code Metal in the United States as of May 2026, with employment types broken down into 100% Full Time. Highlights an 43% Physical, 8% Hybrid, and 49% Remote job distribution.

    Research Engineer - Formal Methods

    Code Metal

    Boston, MA • On-site

    Other

    Medical, Dental, Vision, Retirement, PTO

    Posted 7 days ago

    Job description

    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.
    You will collaborate closely with researchers and engineers to embed formal methods techniques into Code Metal workflows, driving innovation at the intersection of formal methods and artificial intelligence research.

    Responsibilities
    • 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.

    Requirements

    Required Qualifications

    • 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.

    Apply