Email Alert for
ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.
Code Metal
Boston, MA, United States
We’re looking for passionate, experienced Software Engineers to become an integral part of our engineering team. The ideal candidate would possess a strong technical background and practical experience in software development, particularly in complex environments where formal methods and program synthesis play a significant role. In this role, you
Job Source: Code MetalCode Metal
Boston, MA, United States
We’re looking for passionate, experienced Software Engineers to become an integral part of our engineering team. The ideal candidate would possess a strong technical background and practical experience in software development, particularly in complex environments where formal methods and program synthesis play a significant role. In this role, you
Job Source: Code MetalTessera Therapeutics
Cambridge, MA, United States
Company Summary: Each day, the lives of more than 2 billion people across the globe are impacted by chronic diseases. Moreover, the economic burden on society of treating chronic disease is spinning out of control. Today, this dire situation appears unlikely to change as >95% of global healthcare costs are spent on treating rather than preventing
Job Source: Tessera TherapeuticsMassachusetts General Hospital
Boston, MA, United States
Software Engineer, Research - (3254395) Software programmer provides support for the 3DQI research platform for various medical imaging quantification research projects including on-going radiomics and AI programming. Develops and implements software on the 3DQI platform: o Implements software of AI method for Neurofibromatosis quantification § Col
Job Source: Massachusetts General HospitalIBM
Cambridge, MA, United States
Introduction At IBM, work is more than a job - it's a calling: To build. To design. To code. To consult. To think along with clients and sell. To make markets. To invent. To collaborate. Not just to do something better, but to attempt things you've never thought possible. Are you ready to lead in this new era of technology and solve some of the wor
Job Source: IBMIBM
Cambridge, MA, United States
Introduction At IBM, work is more than a job - it's a calling: To build. To design. To code. To consult. To think along with clients and sell. To make markets. To invent. To collaborate. Not just to do something better, but to attempt things you've never thought possible. Are you ready to lead in this new era of technology and solve some of the wor
Job Source: IBMIBM Computing
Cambridge, MA, United States
IBM Research Software Engineer in Cambridge , Massachusetts Introduction At IBM, work is more than a job - it's a calling: To build. To design. To code. To consult. To think along with clients and sell. To make markets. To invent. To collaborate. Not just to do something better, but to attempt things you've never thought possible. Are y
Job Source: IBM ComputingTenable
Boston, MA, United States
Description Who is Tenable? Tenable is the Exposure Management company. 40,000 organizations around the globe rely on Tenable to understand and reduce cyber risk. Our global employees support 60 percent of the Fortune 500, 40 percent of the Global 2000, and large government agencies. Come be part of our journey! What makes Tenable such a great
Job Source: TenableBoston, MA, United States
We’re looking for passionate, experienced Software Engineers to become an integral part of our engineering team. The ideal candidate would possess a strong technical background and practical experience in software development, particularly in complex environments where formal methods and program synthesis play a significant role.
In this role, you will collaborate with a small team of talented researchers and engineers on exciting new projects in program synthesis and code transpilation, by blending formal methods and modern deep learning architectures like graph neural networks and large language models.
Core Responsibilities:
Work closely with a team of researchers and engineers to support the development of new technologies. This includes designing and testing new software tools, developing algorithms, and implementing prototypes that push the boundaries of what's possible in program synthesis and code transpilation.
Support internal research and customer projects by actively engaging with cross-disciplinary teams to innovate and develop tailored solutions that meet both experimental research objectives and client-specific needs.
Ensure the high standards of software quality through code reviews, quality assurance practices, and documentation.
Provide technical guidance and mentorship to junior team members.
Stay updated with emerging trends in software engineering, formal methods, and related technologies.
Required Qualifications:
BS degree in Electrical Engineering, Computer Engineering, Mathematics or a closely related field, or equivalent professional experience.
At least 5+ years of relevant experience working in industry on problems involving software development and formal verification.
Understanding of object-oriented programming and principles.
Experience in disciplined C++, and Python code development. Experience with Matlab or Julia is a plus.
Experience writing unit tests and using unit test frameworks.
Formal verification tools such as SMT solvers and interactive theorem provers.
Experience with standard best practices in software engineering (e.g. version control, code reviews, CI/CD, etc.).
Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).
Preferred Qualifications:
MS or a PhD in Electrical Engineering, Computer Engineering, or a closely related field, or equivalent professional experience.
Experience with container development tools such as Docker.
Experience creating Python wrappers over a C++ libraries is a plus.
Competitive salary and benefits including:
Health Care Plan (Medical, Dental & Vision)
Retirement Plan (401k, IRA)
Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
Flexible hybrid work arrangement
Relocation assistance for qualifying employees
#J-18808-Ljbffr
Email Alert for Senior Software Engineer (Research) jobs in Boston, MA, United States
ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.