- RTX Corporation (Cambridge, MA)
- …you will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... to make them more secure and resilient. + Advance network security research at BBN. + Own...programming. + Experience with the application and scaling of formal methods techniques such as model checking,… more
- RTX Corporation (Cambridge, MA)
- …Do** **Responsibilities include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having measurable impact on ... join exciting new projects in process logic and communications network analysis and formalism. In this position, you will...is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks,… more
- RTX Corporation (Cambridge, MA)
- …Do** **Responsibilities include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN having measurable impact on ... join exciting new projects in process logic and communications network analysis and formalism. In this position, you will...of an exceptional team while building technologies to support Formal Methods for verification of processes, networks,… more
- Blue Cross Blue Shield of Massachusetts (Boston, MA)
- …to apply behavioral insights toward BCBSMA's strategic goals. + Design and execute mixed methods research using a wide variety of methods (eg qualitative ... users).. Reporting to the Director, Nudge Unit, Behavioral Insights & Strategic Research , the Senior Behavioral Scientist will support the company's efforts to apply… more
- MIT Lincoln Laboratory (Lexington, MA)
- …+ Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including ... we address critical national security challenges through innovative, high-impact research . Our team thrives on tackling complex, high-stakes challenges, advancing… more
- Boston University (Boston, MA)
- …for all staff. Primary Job Responsibilities: + Staffing Planning & Sourcing ( network & pipeline building) + Partner with colleagues to evolve talent acquisition ... relationships with candidates by developing and maintaining an effective pipeline and network of diverse talent. + Closely partner with hiring managers to identify… more
- Sumaria Systems, Inc. (Bedford, MA)
- …with AF SEAM processes + Provide engineering support to conduct formal trade studies based on engineering performance, effectiveness, cost effectiveness, cost ... and evaluating systems and subsystems using USAF and DoD approved acquisition methods . + Provide engineering analysis of system training, training equipment and… more
- Eurofins (Cambridge, MA)
- …has grown from one laboratory in Nantes, France to over 50,000 staff across a network of more than 900 independent companies in over 50 countries and operating more ... 800 laboratories. Eurofins offers a portfolio of over 200,000 analytical methods to evaluate the safety, identity, composition, authenticity, origin, traceability… more
- Eurofins (Boston, MA)
- …has grown from one laboratory in Nantes, France to over 50,000 staff across a network of more than 900 independent companies in over 50 countries and operating more ... 800 laboratories. Eurofins offers a portfolio of over 200,000 analytical methods to evaluate the safety, identity, composition, authenticity, origin, traceability… more