<Back to Search
Research Engineer: Formal Methods & Language Verification
East Boston, MAApril 3rd, 2026
A tech firm specializing in trusted systems is seeking a Software Engineer/Researcher in Boston, MA. This role focuses on advancing programming language theory through formal methods, ensuring software meets high-security standards. Key responsibilities include requirements gathering, system architecture, software implementation, and formal verification. The ideal candidate should have a Bachelor's degree in computer science, experience in programming languages, and formal verification techniques. The company offers a hybrid work environment and an employee stock ownership plan.
J-18808-Ljbffr
409 matching similar jobs near East Boston, MA
- AI Engineer
- Senior Industrial Engineer
- Online Research Participants (Pay up to $3,000/study) (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Flexible Work from Anywhere (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Up to $250/hr compensation potential (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Flexible Work-from-Home Opportunities (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - flexible work-from-home opportunity (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Flexible Part-Time Income Opportunity (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - High Earning Potential from Home (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Flexible Participation Options (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Earn Up To $250/hr (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - High Earning Potential (Hiring Immediately)
- Online Research Participants (Pay up to $3,000/study) - Flexible Work-from-Home Opportunities (Hiring Immediately)
- Research Senior Scientist AI/ML – Agentic Systems (BOSTON)
- Principal Investigator in Applied AI/ML (BOSTON)
- Remote M&A Associate - AI Trainer ($50-$60 per hour)
- Associate Director Forecasting-Lupus/MS
- Software Engineer-Artificial Intelligence 4
- INTERNSHIP: Software engineer NuoDB Orchestration
- INTERNSHIP: Software engineer NuoDB Orchestration
- Sr. Lead AI Engineer ( MLX, Gen AI Platform Services, Agentic AI)Somerville, MAApril 5th, 2026
- Sr Engineer - Process Simulation
- BARRE INSTRUCTOR
- LES MILLS BODYCOMBAT INSTRUCTOR
- Director, Data Science & AI, US Commercial
- History Teacher (Including teaching sections of AP African American Studies)
- Associate Teacher, Toddler
- Remote M&A Associate - AI Trainer ($50-$60 per hour)
- Associate Director, Statistics
- Research Scientist, Biochemical Lead Profiling
- Senior Data Scientist
- Director, Generative AI
- Lead Scientist AI/ML Innovations (BOSTON)
- Lead Scientist in AI/ML Applications for Biologics (BOSTON)
- Department Account Assistant