- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal ... On Chip (SoC) for data center applications. As a Formal Verification Engineer, you will be part of a...Meta's data center applications. You will be developing comprehensive formal testplans and be responsible for complete formal… more
- Siemens (Fremont, CA)
- …of chip, board, and system design. Position Overview: The Product focused AE for Formal Verification will drive and grow Formal Verification business across the ... Manager), Account Managers (AMs), and the regional FAEs to drive the adoption of formal products and apps in customers' verification flow. The primary focus will be… more
- Qualcomm (Santa Clara, CA)
- …a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the ... development of the next generation of formal methodologies in this space? The Qualcomm CPU team...and join us on this exciting adventure. Sharpen your formal verification skills to their fullest on some of… more
- Qualcomm (San Diego, CA)
- …years ASIC design, verification, or related work experience + Verification skills: Formal verification (Static and Dynamic), Assertion based verification, FPV an DPV ... + Design debug, Deep bug hunting, + Formal test planning, Formal tools - Jasper, VC- formal . + System Verilog, Verilog or VHDL, Scripting skills required. +… more
- The County of Los Angeles (Los Angeles, CA)
- …trends and compliance issues, and to develop strategic purchasing approaches. Provides formal and informal training to user departments to facilitate effective use ... for purchases of specific equipment, supplies, commodities, and services in a formal competitive bid environment. Option II: Bachelor's Degree or higher from an… more
- Leidos (San Diego, CA)
- …the development of high-assurance, resilient software. + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... topics of functional programming, programming language theory, and industrialized formal methods. **Basic Qualifications:** + Bachelor's degree in computer science,… more
- Sacramento County (Sacramento, CA)
- …employer/industry. 08 Select all the boxes for which you have completed formal training and/or education (eg on-the-job training, college courses, etc.) and for ... which you are proficient. If you have not completed formal training nor courses and are not proficient in...class, etc.). + Driver safety (eg defensive driving course, formal driver safety class, etc.). + Microsoft Excel. +… more
- Integrits Corporation (San Diego, CA)
- …level correspondence, scheduling and coordinating senior level meetings, preparing formal awards, maintaining multiple types of administrative schedules, maintaining ... 4.0 FRD. Essential Duties and Responsibilities Prepare, edits, formats, and routes formal executive level formal correspondence. Prepares and maintains various… more
- Silicon Valley Power (Santa Clara, CA)
- …of certification as a journey level electrician; or proof of completion of a formal electrician apprenticeship; or proof of completion of a formal electrician or ... journey level electrician. + B. I have completed a formal electrician apprenticeship program. + C. I have completed...I have completed an equivalent training program to a formal electrician program. + D. I have experience maintaining… more
- The County of Los Angeles (Los Angeles, CA)
- …needs of the individual trainee group, presents this content in a formal classroom situation, and supervises its application in a clinical setting. CLASSIFICATION ... - RN will not necessarily have had experience in the conduct of formal training programs; hence they require considerable guidance and direction from higher level… more