| Job alert | Jobs 31 - 40 of 48 |
Senior Software Engineer (Research)
Code Metal
–
Boston, MA
... Formal verification tools such as SMT solvers and interactive theorem provers. Experience with standard best practices in software engineering (e.g. version control, code reviews, CI/CD, etc.). Mathematical logic (e.g., temporal logic, separation ... - May 03
Cyber Systems Exploitation Researcher
MIT Lincoln Lab
–
Lexington, MA
... of Embedded Systems Firmware, Malicious Code, Mobile Applications, and More Vulnerability Assessment Statistics and Metrics SAT/SMT Solvers Symbolic Execution Data-flow Analysis for Compiled Binaries Binary Intermediate Representations Binary ... - May 09
RFIC PA / Module Design Engineer
Skyworks
–
Andover, MA
... General packaging knowledge and understanding of laminate, wire bonding, WLCSP techniques, SMT components and multi-die FEM considerations. Strong knowledge of ESD protection techniques Ability to manage the assigned project with minimum supervision ... - May 09
Senior Software Engineer (Research)
Code Metal
–
Boston, MA
... Formal verification tools such as SMT solvers and interactive theorem provers. Experience with standard best practices in software engineering (e.g. version control, code reviews, CI/CD, etc.). Mathematical logic (e.g., temporal logic, separation ... - May 03
Formal Methods Research Engineer
Raytheon Technologies Corporate Headquarters
–
Cambridge, MA, 02138
... require some amount of overnight travel US citizenship required Additional Skills Desired Formal verification tools such as SMT solvers and interactive theorem provers Experience working in an agile team and with version control systems Mathematical ... - May 10
Formal Methods Research Engineer
Raytheon Technologies Corporate Headquarters
–
Cambridge, MA, 02140
... require some amount of overnight travel US citizenship required Additional Skills Desired Formal verification tools such as SMT solvers and interactive theorem provers Experience working in an agile team and with version control systems Mathematical ... - May 15
Laboratory Manager/ Facilities Manager- Startup Environment
RPM ReSearch
–
Boston, MA
... Assist with the budgetary management for the facilities and services budget, being accountable to the SMT/EMT. Assist in the management of the interface between the technical and operations teams, buildings users, Senior Officers, and estates ... - May 10
Senior Electrical Design Engineer
Murata Power Solutions
–
Westborough, MA
... Good understanding in the theory, design, construction and implementation of magnetics both embedded and SMT versions. Solid foundation in PCB layout, component placement and routing. Previous experience in leading and coaching team members is an ... - Apr 26
Principal Electrical Engineer - PA Design
Skyworks
–
Andover, MA
... and associated simulation engines Familiar with 2.5D (EMX, Momentum, Sonnet) and 3-D (HFSS, FEM) EM design simulation tools Knowledge and understanding of laminate, wire bonding, WLCSP techniques, SMT components and multi-die FEM considerations. ... - Apr 18
Staff Module Design Engineer
Skyworks
–
Andover, MA
... This includes power and multi-path T/R switches, low noise amplifiers, matching circuitry, filters, SMT components, integrated passive devices (IPD), MIPI controls, and an LDO. The candidate must understand the characteristics of these FEM building ... - Apr 18