Senior Formal Methods Engineer - Cambridge

Career Category · Engineering · Job Description · Join Amgen's Mission of Serving Patients · At Amgen, if you feel like you're part of something bigger, it's because you are. Our shared mission—to serve patients living with serious illnesses—drives all that we do. · Since 1980, w ...

Join Amgen's Mission of Serving Patients · At Amgen, if you feel like you're part of something bigger, it's because you are. Our shared mission—to serve patients living with serious illnesses—drives all that we do. · Serving patients is at the heart of everything we do. We contin ...

Join Amgens mission of serving patients at Amgen we help pioneer the world of biotech in our fight against worlds toughest diseases engineer physical methods responsible for engineering activities required for development qualification validation transfer and life cycle support o ...

The Engineer in Physical Methods is responsible for engineering activities required for the development/qualification/validation and transfer of physical GMP test methods. · We are seeking an individual with 8 years of Engineering/Scientific experience or equivalent qualification ...

RTX Corporation is an Aerospace and Defense company that provides advanced systems and services for commercial, military and government customers worldwide. · The company comprises three industry-leading businesses – Collins Aerospace Systems, Pratt & Whitney, and Raytheon. · ...

We are looking for a Research Software Engineer to join our team in Cambridge, MA. · The ideal candidate will have strong software development skills and an interest in security and resilience of large-scale dynamic systems. · ...

We are seeking a Senior Principal Research Engineer to join our BBN Networking and Cyber Technologies group. The successful candidate will have experience in Formal Methods and scientific modeling, with expertise in object-oriented programming principles. They will lead cross-fun ...

The RTX BBN Networking and Cyber Technologies group seeks a Formal Method researcher with System/Software Engineers experience to join exciting new projects in process logic and communications network analysis and formalism. · Build and advance a Formal Methods-related research a ...

The RTX BBN Networking and Cyber Technologies group seeks a Formal Method researcher with System/Software Engineers experience to join exciting new projects in process logic and communications network analysis and formalism. · ...

This role is instrumental in advancing our nuclear thermal-hydraulic capabilities, particularly in supporting fuel development and its associated subchannel and system codes. The position requires a dynamic thermal-hydraulic engineer skilled in core and fuel thermal-hydraulic ana ...

This postdoctoral associate position supports engineering-driven research on real-world driving behavior, automation, and safety using large-scale data. · ...

We are recruiting an Engineer for a consulting engagement with our direct client. · The ideal candidate will have:3 YOE in field desired with bachelors. · ...

We are recruiting an Engineer for a consulting engagement with our direct client. · The position involves support of senior staff in the initiation and delivery of projects. Responsibilities include development and lifecycle management of Physical GMP Test Methods, · aids in proj ...

This is a technical associate position in the Griffith Lab's Hardware Innovation Team. · Perform mechanical and fluidic QC testing of platformsCollaborate with biologists to support quality-checked platforms during experimental runs ...

This is a Mechanical Engineer Opto-Design position at the Smithsonian Astrophysical Observatory with responsibilities including leading mechanical subsystem development with significant complexity. · ...

· Design and build intelligent agent-driven systems that enable AI-accelerated and AI-orchestrated process engineering across a broad range of industrial applications. · Architect and implement agentic frameworks that support end-to-end process engineering workflows. · Develop A ...

As a member of our team in the Physical Sciences division, you will design and build intelligent agent-driven systems that enable AI-accelerated and AI-orchestrated process engineering across a broad range of industrial applications. · ...

You will help pioneer the next generation of AI systems capable of reasoning like a scientist. · ...

As a Machine Learning Scientist focused on Scientific Reasoning, you will help pioneer the next generation of AI systems capable of reasoning like a scientist. You'll design novel frameworks that push the boundaries of LLM-based reasoning methods — while also implementing scalabl ...

This is a postdoctoral associate position in the Design Computation and Digital Engineering (DeCoDE) laboratory at MIT. · ...