ZipRecruiter

Log In

2

Remote Algorithm Engineer Intern Jobs in Massachusetts

Synopsys

Staff R&D Engineer-17064

Marlborough, MA · On-site +1

$120K - $180K/yr

... 180000 Remote Eligible No Date Posted 04/22/2026 We Are Synopsys is the leader in engineering ... You like building things that last, from new algorithms to better formal verification tools.

STR

Senior Software Engineer

Woburn, MA · On-site +1

$140K - $170K/yr

The Decisions Systems Group in the AC2 Division builds algorithms and tools to enhance trust in AI ... This role allows for remote work in collaboration with STR's Woburn, MA and Arlington, VA offices ...

STR

Lead Software Engineer

Woburn, MA · On-site +1

$175K - $215K/yr

The Decisions Systems Group in the AC2 Division builds algorithms and tools to enhance trust in AI ... This role allows for remote work in collaboration with STR's Woburn, MA and Arlington, VA offices ...

Databento

Good communication skills and work ethic for a remote workplace. * An interest in low-level optimization and performance engineering. * An interest in financial data or algorithmic trading. Notice ...

next page

Showing results 1-20

All JobsRemote Algorithm Engineer Intern JobsRemote Algorithm Engineer Intern Jobs in Massachusetts

Remote Algorithm Engineer Intern information

What are popular job titles related to Remote Algorithm Engineer Intern jobs in Massachusetts? For Remote Algorithm Engineer Intern jobs in Massachusetts, the most frequently searched job titles are:
What job categories do people searching Remote Algorithm Engineer Intern jobs in Massachusetts look for? The top searched job categories for Remote Algorithm Engineer Intern jobs in Massachusetts are:
What cities in Massachusetts are hiring for Remote Algorithm Engineer Intern jobs? Cities in Massachusetts with the most Remote Algorithm Engineer Intern job openings:
Remote Algorithm Engineer Intern jobs near you
Staff R&D Engineer-17064

Staff R&D Engineer-17064

Synopsys

Marlborough, MA • On-site, Remote

$120K - $180K/yr

Other

This job post has expired today. Applications are no longer accepted.

Job description

Date posted 04/22/2026 Category Engineering Hire Type Employee Job ID 17064 Base Salary Range $120000-$180000 Remote Eligible No Date Posted 04/22/2026 We Are

Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.

You Are

You thrive on complex code and real-world results. You see C++ as your toolkit for solving hard, meaningful problems, and you're comfortable getting deep into legacy code to make things faster, smarter, and more reliable. You don't wait for perfect specs, you ask questions, test ideas, and bring others along. You like building things that last, from new algorithms to better formal verification tools. Learning new tech is second nature and you never shy away from a tough debugging session.

What You'll Be Doing
  • Developing and improving algorithms in C++ for Formality
  • Researching and implementing new solver techniques like SAT and BDDs
  • Debugging, testing, and refining the Formality codebase
  • Collaborating on formal verification strategies with your team
  • Exploring distributed computing and machine learning for EDA
The Impact You Will Have
  • Raising the bar for Formality's speed and accuracy
  • Enabling customers to verify complex chip designs with confidence
  • Turning research into tools that solve real design challenges
  • Improving team knowledge and code quality through collaboration
What You'll Need
  • PhD, MS, or ME in CS or EE with strong programming skills
  • Strong C++ skills and experience in large codebases
  • Solid grasp of algorithms, data structures, and heuristics
  • Experience with formal verification or solver algorithms (SAT, BDDs)
  • Distributed computing or ML experience is a bonus
Who You Are
  • You get to the root of technical problems, not just the symptoms
  • You explain complex ideas clearly, in writing and conversation
  • You're proactive about learning and sharing knowledge
  • You ask for clarity and push for better solutions
  • You work well solo and with others
The Team You'll Be Part Of

As a member of the Formality R&D team, you will work with other enthusiastic and creative engineers. You will contribute to a growing tool where you can expand your knowledge and skills. Things you'll learn include formal verification strategies, distributed computing, machine learning, and more. Our team is dedicated to pushing the boundaries of what is possible and delivering cutting-edge technology to our customers.

Rewards and Benefits

We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.

#LI-DP1

#TPG

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

In addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S.

Synopsys logo

About Synopsys

Sourced by ZipRecruiter

Synopsys, Inc. (Nasdaq:SNPS) is the Silicon to Software partner for creative companies developing the electronic products and software applications we rely on every single day. As the world's 15th largest software company, Synopsys has a long history of being a global leader in electronic design automation (EDA) and semiconductor IP and is also growing its leadership in software quality and security solutions. Whether you're a system-on-chip (SoC) designer building advanced semiconductors, or a software developer writing applications that require the highest quality and security, Synopsys has the solutions needed to deliver exceptional, secure products for the era of connected everything. The company is headquartered in Mountain View, California, and has approximately 113 offices located throughout North America, South America, Europe, Japan, Asia and India. Since 1986, Synopsys has been at the heart of accelerating electronics innovation with engineers around the world having used Synopsys technology to successfully design and create billions of chips and systems that are found in the electronics that people rely on every single day.

Industry

Computer and computer peripheral equipment and software wholesalers

Company size

10,000+ Employees

Headquarters location

Mountain View, CA, US

Year founded

1986

Social media

FacebookTwitter

View All Synopsys Jobs

Apply