103 verification engineer jobs at 42 companies in Fall River, MA
1mo
Save
Mark Applied
Hide
1mo
Formal Verification Engineer
Austin or Boston or Santa Clara
$156k-$268k/yrHybridFull Time
AMDNASDAQ: AMD: Designs and manufactures computer processors and graphics technology.
8+ YOESenior-level role requiring 8+ years in design verification with formal methods; strong SVA and formal verification tool experience; BS/MS in Computer/Electrical Engineering; located in Austin, Boston, or Santa Clara.
AppleNASDAQ: AAPL: Designs and sells consumer electronics, software, and online services.
10+ YOEBS or higher with 10+ years in digital verification; strong SystemVerilog, verification methodologies (UVM), Python/Perl; hardware/SOC DV experience.
SystemVerilog, Python, Perl, C++, C, UVM, Debugging, Digital Verification
ViasatNASDAQ: VSAT: Provider of global satellite-based connectivity and secure communication solutions.
5+ YOEBachelor's in Electrical or Computer Engineering; 5+ years hardware verification with SystemVerilog/UVM; RTL verification; strong SystemVerilog/UVM; experience with industry EDA tools; US citizenship and active Secret clearance; willingness to travel up to 10%
MarvellNASDAQ: MRVL: Designs and develops high-performance semiconductor and infrastructure solutions.
2+ YOEBachelor's/Master's/PhD in CS/EE or related; 2–5 years verification experience; strong UVM, constrained-random, coverage, SVA, RTL simulation, C/C++, Python/Perl, and Linux skills.
Denver or Highlands Ranch or Sunnyvale or Cambridge
$124k-$246k/yrOnsiteFull Time
Lockheed MartinNYSE: LMT: Designs and manufactures global security and aerospace systems.
5+ YOEBachelors in EE (or equivalent), 5+ years FPGA/ASIC verification experience, UVM/SystemVerilog/VHDL/Verilog expertise, experience with modern verification methodologies and tools, and ability to obtain DoD Secret clearance (US citizenship required).
Lightmatter: Develops photonic processors and interconnects for AI data centers
8+ YOE8+ years experience leading verification of high-speed electro-optic/serial links; hands-on lab characterization; expertise with SerDes, signal integrity, and automation using Python/MATLAB.
Johnson & JohnsonNYSE: JNJ: Provides pharmaceutical products and medical technology healthcare solutions.
3+ YOEBachelor's or master's in engineering,3+ years V&V in medical devices,knowledge of embedded/firmware/testing,requirements tools and test automation,strong technical writing and systems engineering skills.
DOORS, Jama, Polarion, Python, LabVIEW, MATLAB, SAP Product Lifecycle Management
Netpreme: Develops photonic-electronic memory fabrics for AI data centers.
10+ YOEBachelor's or Master's in EE/CE, 10+ years ASIC/SoC verification with 7+ years formal verification, expertise in SVA and formal tools, scripting (Tcl/Python/Perl/Shell), strong debugging and leadership skills.
Johnson & JohnsonNYSE: JNJ: Develops and manufactures pharmaceutical drugs and medical devices.
3+ YOEBachelor's in engineering,3+ years V&V in medical devices,knowledge of FDA/ISO/IEC standards,requirements management and test automation experience,statistical analysis and technical writing skills.
DOORS, Jama, Polarion, Python, LabVIEW, MATLAB, SAP Product Lifecycle Management
Infineon TechnologiesFrankfurt Stock Exchange: IFX: Designs and manufactures semiconductors for power and IoT systems.
3+ YOEBSEE/ME or equivalent with 3+ years' experience. Experience with VerilogAMS/SystemVerilog, Cadence Virtuoso, Xcelium/ADE Explorer, Spectre; mixed-signal simulation, AMS modeling, scripting (Python, C/C++), Unix/Linux, and strong debugging and collaboration skills.
VerilogAMS, SystemVerilog, Cadence Virtuoso, Xcelium, ADE Explorer, Spectre, Verilog, Python, C, C++, Microsoft Word, Microsoft PowerPoint, Microsoft Excel, Unix/Linux
Johnson & JohnsonNYSE: JNJ: Global healthcare providing pharmaceuticals and medical technologies.
3+ YOEBachelor’s or master’s in engineering,3+ years V&V medical device experience, knowledge of regulatory standards (FDA,ISO),requirements management and test automation tools,statistical analysis and technical writing skills.
DOORS, Jama, Polarion, Python, LabVIEW, MATLAB, SAP Product Lifecycle Management
PROSOFT: Provides engineering services for hardware and software used in naval submarine and laboratory environments.
10+ YOESECRET clearance, 10+ years professional experience in computer design/software/networks, bachelor\u0002s in engineering or math, expertise in system administration, Linux and MS Windows, experience with build verification procedures.
onsemi: Designs and manufactures semiconductor solutions for power and sensing.
8+ YOEBS or MS in Electrical Engineering,8+ years mixed-signal design/verification,strong CMOS analog skills,experience with charge pumps,LDOs,gate drivers,debugging silicon,and leading simulations and verification.
MIKEL: Provides undersea warfare technology and engineering services for defense.
Bachelor's in engineering or related field, experience with systems engineering (requirements development, verification, validation), familiarity with sonar or undersea systems preferred, strong analytical and communication skills, DoD Secret clearance and U.S. citizenship required at hire.
WabtecNYSE: WAB: Manufacturer of equipment and digital solutions for rail transportation.
5+ YOEBachelor's in Mechanical Engineering with 5+ years design experience, SolidWorks, GD&T, PLM experience, hands-on prototyping, product verification/validation, ability to supervise and mentor junior engineers, U.S. Person required for export-controlled roles.
DanaherNYSE: DHR: Develops scientific instruments and diagnostic tools for healthcare markets.
0+ YOEBS in Mechanical Engineering or related field required; no prior professional experience required but internships/co-ops preferred. Experience with CAD, MRP/ERP and product development documentation, verification testing, BOM/ECR/ECO processes.
CAD tools, MRP/ERP systems, Danaher Business System