- Lockheed Martin (Arlington, VA)
- …* Conducted research in at least one more adjacent area such as formal verification /methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and ... our areas of research to lead future technology advances in applied formal methods, simulation, test, verification , validation, and certification of autonomous… 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). + 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
- 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
- Cummins Inc. (Columbus, IN)
- …Processes include system specification, modeling and simulation, calibration, Design Verification Plan and Report (DVP&R), and troubleshooting. Application of tools ... root causes and recommended actions to prevent problem reoccurrence. Product Verification and Validation Management - Develops product systems validation plans from… 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
- 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
- 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
- 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