- 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 ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks,… more
- Applied Research Solutions (Bedford, MA)
- **Description** Applied Research Solutions is seeking a Process Engineer . The Engineer will perform work that applies a broad theoretical and practical ... Nuclear, and software intensive system environments. Why Work with us? Applied Research Solutions (ARS) is respected as a world-class provider of technically… more
- Sumaria Systems, Inc. (Bedford, MA)
- Journeyman-Systems Engineer Department: SAS DAYTON, OH Office: Hanscom AFB - SAS Location: Bedford, MA START YOUR APPLICATION ... (https://apply.hrmdirect.com/resumedirect/ApplyOnline/Apply.aspx?req\_id=3330999&source=3330999-CJB-0) Job Title: Journeyman Systems Engineer Job Description: Sumaria prides itself on delivering efficient… more
- Center For Health Information And Analysis (Boston, MA)
- …evidence-based decision-making. We are looking to hire a skilled Database/ETL Test Engineer to work alongside our other talented test engineers and developers within ... with DBA's, assist with remediation strategies, and timelines for correction. + Execute formal test plans to ensure the delivery of data related projects. + Define… more
- MIT Lincoln Laboratory (Lexington, MA)
- …static and dynamic analyses tools and techniques, as well as applied formal methods tools. + Technical communication: Documenting designs, writing reports ... we address critical national security challenges through innovative, high-impact research . Our team thrives on tackling complex, high-stakes challenges, advancing… more