- RTX Corporation (Cambridge, MA)
- …BBN Technologies team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong ... dynamic systems. In this position, you will contribute strong software development skills and apply reasoning and formal...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… more
- RTX Corporation (Cambridge, MA)
- …team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join exciting ... such systems. **What You Will Do** + Build and advance a Formal Methods-related research area for BBN having measurable impact on business capture. + Articulate… more
- MIT Lincoln Laboratory (Lexington, MA)
- …our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. ... computing, storage, and communication technologies. + Engage in a range of research and engineering activities, from software design and system integration… more
- UKG (Lowell, MA)
- …impactful projects that are used by enterprises and users worldwide. As a Lead Software Engineer , you will be involved in the design, development, testing, ... deployment, and maintenance of software solutions. You will work in a collaborative environment,...observability and SRE practices. + A self-starter who devours research papers and turns them into production-ready prototypes. +… more
- UKG (Lowell, MA)
- …security-focused enterprise software services. * Work with key stakeholders to research the best technology approach to meet business requirements. * Mentors the ... does cutting-edge work to build out the security technologies, software integrations and security frameworks that are used throughout...security, we are looking for a Sr Information Security Engineer to join our Security R&D team. * Take… more
- UKG (Lowell, MA)
- …UKG, your work matters-and so do you. As a Principal Data Science Security Engineer , you will be part of UKG's Global Security Detection Engineering team. This ... using reports and visualizations + Staying abreast of the latest research , developments, experimentations, and products in the AI/ML and cybersecurity landscapes… more
- State of Massachusetts (MA)
- The Massachusetts Gaming Commission (MGC) seeks aGaming Technical Compliance Engineer I, reporting to the Gaming Technical Compliance Manager. This position is ... test labs, licensed gaming manufacturers, and casinos. * Work within the software revocation notification process for all licensed manufacturers as necessary. *… more
- Danaher Corporation (Westborough, MA)
- …Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and ... Business System (https://www.danaher.com/how-we-work/danaher-business-system) which makes everything possible. The Product Engineer II for Cytiva is responsible for supporting the… more