<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
523 matching similar jobs near East Boston, MA
- Predictive Modeling and Risk Analyst
- Neuroscience Assistant Professor - Systems & Development
- Endowed Full Professor - Leader in Business & Society
- Senior Quant Research Equity
- Instant Finite Math Tutor - Remote & Flexible
- Head of Machine Learning
- Independent Postdoctoral Research Fellow
- Remote Research Engineer (Blockchain) - ToposwareEast Boston, MAMarch 28th, 2026
- Principal Software Engineer - Python
- Principal Software Engineer, Medication Management | Hybrid
- Clinical AI Quality & Evaluation Scientist
- Managing Consultant - Healthcare Analytics
- AI Systems Scientist, SysML - Large-Scale ML & Open Science
- Senior Backend Engineer, LangSmith Deployments
- Global IB & Strategy Lecturer/Teaching Professor
- Evening English Adjunct - College Writing I & II
- Internship Inquiries
- Architecture Lecturer: Studio Design & Curriculum Innovation
- On-Demand College Admissions Tutor - Remote & Flexible
- Biomedical Informatics Research Associate - Exposome & AI
- Senior Software Engineer, Alexa Endpoint Experiences
- Lead AI Engineer
- Cardiovascular MRI Scientist: AI-Enhanced Pulse Sequences
- Data Engineer II
- Staff Engineer, Software - Perception
- Senior Software Engineer, Applied AI
- Head of Applied Epic Integration & Operations
- Sr. Software Engineer
- AI Engineer- Responsible AI
- Research Assistant
- Conversational AI Engineer
- Search Engine Optimization Specialist
- Founding Computational Biologist, AI Agents for Pharma
- Scientist III, Computational Pathology
- Research Scientist AI/ML Foundational Models (BOSTON)
- Machine Learning Researcher for Foundational Models (BOSTON)
- Applications Engineer: Computational Fluid Dynamics (CFD)
- Research Scientist AI/ML Foundational Models (BOSTON)
- PhD Student Researcher - Real-World AI & ML Research
- Computational Cell Biophysics Research Associate