- Broadcom (Broomfield, CO)
- …development, constraints validation, timing analysis and closure. + Experience with formal verification , timing analysis and Eco implementation. + Experience ... clock tree synthesis, route, timing analysis, timing closure, physical verification (LVS/DRC). + Drive tools and methodologies to achieve...environment. + Possess ability to learn and adapt to new tools and methodologies on the fly. + Excellent… more
- Broadcom (Broomfield, CO)
- …development, constraints validation, timing analysis and closure. + Experience with formal verification , timing analysis and Eco implementation. + Experience ... clock tree synthesis, route, timing analysis, timing closure, physical verification (LVS/DRC). Should be able to drive tools and...work independently. + Ability to learn and adapt to new tools and methodologies on the fly. + Possess… more
- Northrop Grumman (San Diego, CA)
- … verification + Experience with FMS programs + Experience with formal requirement verification and decomposition + Programming Skills in C/C++/Python/VBA ... the moon. We look for people who have bold new ideas, courage and a pioneering spirit to join...traceability for defects + Develop, de-bug and execute Regression Verification Tests + Perform hands-on Integration within Test environment… more
- Ford Motor Company (Dearborn, MI)
- …tools), analyze environmental and aging effects, and document margins and mitigations in formal WCCA reports. + Bring up and validate hardware in the lab: design ... hardware safety requirements, support DFMEA/FMEDA activities, and produce hardware verification evidence needed for safety cases. + Implement and...dive into what you love, or a series of new teams and new skills? Will you… more
- Comcast (Chicago, IL)
- …devices including PC, smart phone, OTT device, set-top box and traditional TV. FreeWheel's New York Engineering Hub is a core part of our global engineering group ... feasibility. + Write well-designed, testable, efficient code. + Develop software verification plans and quality assurance procedures. + Document and maintain… more
- Insight Global (Austin, TX)
- …Simulation & V&V: Proficiency with robotics simulation platforms and an understanding of formal Verification & Validation (V&V) methodologies. * Safety & AI: ... specifically for testing, creating unit tests, mock objects, and test harnesses for new and existing features. We are a company committed to creating diverse and… more
- The Gleason Works (Rochester, NY)
- …scheduling + Tuition Assistance Program + Employee Assistance Program + Formal and informal Development opportunities. Position Summary: This position designs, ... quality systems audits of key suppliers as well as new suppliers. + Support new product development...Management of Supplier OSARs (containment, root cause, corrective action, verification ) + Management of Material Review Board (MRB) +… more
- Microsoft Corporation (Redmond, WA)
- …methods and secure design principles while also applying best practices for new code development and formal validation of security invariants. Leads ... tools, tests, logs, telemetry, and other methods, and proactively leads verification of assumptions while developing code before issues occur across products… more
- CAE USA INC (Binghamton, NY)
- …design, preliminary design, critical design, system integration support, test procedure development, formal verification , and formal validation. + Interpret ... . With our people at the very heart of our organization, driving innovation and new technologies , we are committed to providing a work environment for employees in… more
- Comcast (Chicago, IL)
- …devices including PC, smart phone, OTT device, set-top box and traditional TV. FreeWheel's New York Engineering Hub is a core part of our global engineering group ... operational feasibility. *Write well-designed, testable, efficient code. *Develop software verification plans and quality assurance procedures. *Document and maintain… more