ZipRecruiter

Log In

Code Metal

60 Code Metal Software Jobs Hiring Near You

Code Metal

Research Engineer - Formal Methods

Boston, MA · On-site

Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this ... Demonstrated proficiency in core software development practices, including: version control, code ...

Code Metal

Research Engineer - Formal Methods

Boston, MA · On-site +1

Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this ... Demonstrated proficiency in core software development practices, including: version control, code ...

Code Metal

Research Engineer - Formal Methods

Boston, MA · Remote

Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this ... Demonstrated proficiency in core software development practices, including: version control, code ...

Code Metal

Principal Solutions Architect

Boston, MA · On-site +1

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Broad cross-domain software experience in one or more of the following: C/C++, Rust, Python ...

Code Metal

Principal Solutions Architect

Boston, MA · On-site

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Broad cross-domain software experience in one or more of the following: C/C++, Rust, Python ...

Code Metal

Principal Solutions Architect

Boston, MA · On-site +1

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Broad cross-domain software experience in one or more of the following: C/C++, Rust, Python ...

Code Metal

Forward Deployed Engineer

San Francisco, CA · On-site +1

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Identify and resolve issues spanning algorithms, software, hardware, and toolchains in complex ...

Code Metal

Forward Deployed Engineer

Boston, MA · On-site +1

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Identify and resolve issues spanning algorithms, software, hardware, and toolchains in complex ...

Code Metal

Forward Deployed Engineer

San Francisco, CA · Remote

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Identify and resolve issues spanning algorithms, software, hardware, and toolchains in complex ...

Code Metal

Forward Deployed Engineer

San Francisco, CA · On-site +1

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Identify and resolve issues spanning algorithms, software, hardware, and toolchains in complex ...

Code Metal

Forward Deployed Engineer

Boston, MA · Remote

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping ... Identify and resolve issues spanning algorithms, software, hardware, and toolchains in complex ...

next page

Showing results 1-20

All JobsCode Metal Software Jobs

Code Metal Jobs Information

What are the key skills and qualifications needed to thrive as a Software Engineer, and why are they important?

To thrive as a Software Engineer, you need strong programming skills, problem-solving abilities, and typically a degree in computer science or a related field. Familiarity with coding languages (like Python, Java, or C++), version control systems (such as Git), and experience with software development frameworks are commonly required. Attention to detail, effective communication, and teamwork are crucial soft skills for collaborating on projects and delivering robust solutions. These skills ensure the development of high-quality, reliable software that meets user needs and business objectives.

What are some common challenges software professionals face when working on large-scale projects?

Software professionals working on large-scale projects often encounter challenges such as coordinating with cross-functional teams, managing complex codebases, and ensuring consistent communication across distributed teams. Balancing the need for rapid development with maintaining code quality and meeting strict deadlines can also be demanding. Adapting to evolving requirements and integrating new technologies while minimizing disruptions are common aspects of the role, making strong organizational and collaboration skills essential.

What are software developers?

Software developers are professionals who design, create, test, and maintain software applications or systems. They use programming languages and development tools to build software that meets user needs or solves specific problems. Their responsibilities can include writing code, debugging, collaborating with other team members, and updating existing programs. Software developers work in a variety of industries, including technology, finance, healthcare, and more.

What jobs are there in software?

Jobs in software include roles such as software developer, software engineer, quality assurance tester, systems analyst, and technical support specialist. These positions often require knowledge of programming languages, software development tools, and problem-solving skills, with some roles requiring certifications or specific technical expertise.

What jobs in the US pay 300,000 a year?

Software engineering roles, especially senior positions such as principal engineers, software architects, and engineering managers, can earn $300,000 or more annually in the US. High compensation often requires extensive experience, specialized skills, and working at large tech companies or in high-demand industries, sometimes including stock options or bonuses.

What is the difference between Software vs Web Developer?

AspectSoftwareWeb Developer
Required CredentialsTypically a degree in Computer Science or related field; certifications like Microsoft Certified or Oracle CertifiedSimilar credentials; often a degree in CS or Web Development certifications
Work EnvironmentDevelops software applications for various platforms, including desktop and mobileBuilds websites and web applications primarily for online use
Employer & Industry UsageUsed across tech companies, software firms, and enterprisesCommon in digital agencies, tech startups, and online businesses
Common Search & Comparison IntentPeople compare to understand different roles in software creationOften compared to see distinctions in web-focused development

While both Software developers and Web Developers work in the tech industry and require similar skills and certifications, Software developers create applications for various platforms, whereas Web Developers focus on building websites and web-based applications. The choice depends on whether you're interested in broad software solutions or web-specific projects.

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 Software 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