- Siemens (Austin, TX)
- …complex world of chip, board, and system design. Position Overview: The Product focused AE for Formal Verification will drive and grow Formal ... Verification business across the Americas accounts. As a Product focused AE, you will be working...techniques Product , market, and industry knowledge in formal verification technology Prospecting/uncovering skills Demand creation… more
- Siemens (Austin, TX)
- …for a Global Head of Engineering focused building Design Creation, High level verification , Static and Formal Verification products at our Digital ... Familiarity with Verilog, VHDL, System-Verilog, compilers, elaborators, debug, database, High level verification , Formal and Static Verification products is… more
- Siemens (Austin, TX)
- … Verification IQ -UX/UI Experience : 6 to 10 years About the group : Questa Verification IQ Product It is a core R&D team working on Questa Verification ... IQ (QVIQ), which is a Siemens next-generation web-based collaborative verification management product . Performance is key for us, so our tools leverage various… more
- GE Vernova (Houston, TX)
- …systems. + Expert-level knowledge of energy storage controls, validation and verification , formal design methodology, systems integration, advanced controls or ... comprised of our Power, Renewable Energy, Digital and Energy Financial Services businesses, is focused on leading a new era of energy - electrifying the world while… more
- Walgreens (Dallas, TX)
- …Ensures the professional development of pharmacy staff by overseeing training, focused coaching, and executing formal performance management initiatives. **Job ... + Performs pharmacist tasks including compounding, drug therapy reviews, verification , and medication management. + Reviews, interprets, and accurately dispenses… more
- Turner & Townsend (Austin, TX)
- …to tackle challenges of any scale. Our team is dynamic, innovative and client- focused , supported by an inclusive and fun company culture. Our clients value our ... design professionals, contractors, and administrators to ensure an acceptable product according to contract specifications, local and federal codes, regulations,… more
- Siemens (Austin, TX)
- …algorithms and job distribution techniques. + Exposure to Simulation or Formal -based Verification methodologies. + Experience in designing and developing ... and system design. About the group : Questa Simulation Product It is a core R&D team working on...focus in Simulation Performance, parallel simulation, building next generation verification solution. A very energetic and enthusiastic team of… more
- Eurofins (Fort Worth, TX)
- …is the global leader in food, environment, pharmaceutical and cosmetic product testing and in agroscience Contract Research Organisation services. Eurofins is ... This may include, but is not limited to, criminal history, education verification , and employment history. + Visa Sponsorship: Eurofins Viracor LLC does not… more
- Amazon (Austin, TX)
- …learning and defense mechanisms against AI-specific attacks - Familiarity with AI-specific formal verification methods Amazon is an equal opportunity employer ... Description The Amazon Artificial General Intelligence (AGI) organization is focused on building world-class general-purpose intelligence services. Its primary… more