Get the job you really want.

Top Tech Jobs & Startup Jobs in Boston, MA

2 Days AgoSaved
In-Office
Boston, MA, USA
Expert/Leader
Expert/Leader
Machine Learning • Security • Software
Lead research at Galois by developing externally funded programs in Formal Methods, collaborating with teams, mentoring staff, and engaging with clients.
Top Skills: Artificial IntelligenceCryptographyData ScienceFormal MethodsMachine LearningSoftware AnalysisStatic Analysis
Reposted 24 Days AgoSaved
In-Office
Boston, MA, USA
Mid level
Mid level
Machine Learning • Security • Software
Research Engineers at Galois design and develop advanced technologies for safety-critical systems, focusing on formal verification of software and systems.
Top Skills: BluespecChiselFormal MethodsHaskellModel CheckersProgramming LanguagesSystemverilogTheorem ProversVerilogVhdl
New

Track Smarter, Apply Better.

Ditch the spreadsheets. Organize your job search with our freeApplication Tracker.

Use For Free
Application Tracker Preview
All Filters
New Jobs
Job Category
Experience
Industry
Company Name
Company Size

Sign up now Access later

Create Free Account