Job Closed
This listing is no longer active.
AI-Powered development at the Edge.
Research Engineer – Formal Methods
Location
Massachusetts
Posted
137 days ago
Salary
0
Seniority
Senior
Job Description
Research Engineer – Formal Methods
Code Metal
• Work closely with the research team to translate formal methods research into implemented solutions and integrate them into production-ready Code Metal products. • Apply and adapt tools and frameworks to make formal verification accessible to practicing engineers. • Conduct experiments to evaluate the applicability and effectiveness of formal methods on industrial-scale codebases. • Collaborate across multidisciplinary teams, contributing to both research initiatives and production-grade solutions.
Job Requirements
- Advanced degree (Master’s or Ph.D.) in Computer Science, Mathematics, or a related field, with a focus on software engineering, formal methods, and programming languages.
- Strong programming skills in Python, C/C++, or Rust.
- Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines.
- Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems.
- Familiarity with interactive and automated theorem provers (e.g., PVS, Coq, Lean, SMT solvers), static analyzers (e.g., Frama-C, Infer, Polyspace), and property-based testing libraries (e.g., QuickCheck, Hypothesis) is a strong plus.
- Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis.
- Ability to translate technical research into practical engineering solutions.
- Excellent communication skills and a collaborative mindset.
- Preferred Qualifications
- Experience integrating formal methods into CI/CD pipelines or software development workflows.
- Contributions to open-source formal methods tools.
- Experience working in high-assurance industries (e.g., aerospace, medical devices, automotive).
Benefits
- Health Care Plan (Medical, Dental & Vision).
- 401k with 5% matching.
- Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays).
- Flexible hybrid work arrangement.
- Relocation assistance for qualifying employees.
Related Guides
Related Categories
Related Job Pages
More Research Engineer Jobs
This description is a summary of our understanding of the job description. Click on 'Apply' button to find out more. Role Description We are seeking a detail-oriented intern to provide administrative, content, and quality improvement support for grant-funded educational events. This role is ideal for a highly organized individual with strong proofreading skills who is comfortable working independently in a remote environment. The intern will support event preparation, execution, and post-event reporting. Must be a current Lipscomb University student, may be federal work study eligible. Key Responsibilities - Proofread and refine educational cases and facilitator guides developed by program leadership - Assist in translating case content into clear, structured scripts for standardized patient actors - Design and maintain event schedules - Provide logistical support for virtual events (approximately four per semester, conducted via Zoom) - Track and record participant attendance following events - Design and distribute event completion certificates - Assist with the design, distribution, and interpretation of participant quality improvement (QI) surveys - Gather and organize data and documentation for reports required by the funding agency Qualifications - Proficiency with Microsoft Office (Word, Excel, PowerPoint) or equivalent productivity software - Strong proofreading, editing, and attention-to-detail skills - Excellent organizational and time management abilities - Clear written communication skills - Comfort working with virtual platforms (e.g., Zoom, online surveys) How to Apply Interested candidates should submit a brief resume and a short statement of interest highlighting relevant skills and availability.
• Design, implement, and maintain SFT and RL post-training pipelines for multi-step coding agents. • Train and adapt LLMs for agent workflows, including planning, tool use, and multi-step interactions inside JetBrains IDEs. • Build and develop evaluation and simulation environments where coding agents can act, be measured, and compared on realistic developer tasks. • Design evaluation frameworks and metrics for agent behavior, analyze traces and logs, and close the loop from evaluation back into training, data, and reward design. • Analyze training and evaluation results to propose and implement improvements to model architectures, training recipes, and datasets. • Work with large-scale infrastructure, including distributed training on GPU clusters and large MapReduce-style data processing for pre-training and fine-tuning datasets. • Collaborate closely with research, product, and infrastructure teams to turn high-level product visions into concrete models, experiments, and shipped features.
• Focus on end-to-end exploit development for real-world targets. • Design, develop, and validate novel vulnerability discovery and exploitation capabilities against complex software and systems. • Work at the operating system, binary, and micro-architectural levels, emphasizing creating new technical capabilities. • Comfort operating with minimal supervision, incomplete problem definitions, and delayed feedback.
Research Engineer
AnthropicAnthropic is an AI safety and research company working to build reliable, interpretable, and steerable AI systems.
• Build the next generation of agentic environments • Build rigorous evaluations that measure real capability • Collaborate with cross-functional teams for production training • Debug and iterate across research and production ML stacks • Contribute to research culture through discussions and problem-solving



