- 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)
- … 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
- Walgreens (Hutto, 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 (Austin, 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
- JE Dunn Construction Company (Austin, TX)
- …+ Proficiency in RISA or similar structural analysis software - Advanced + Formal presentation skills - Intermediate + Ability to read, interpret and evaluate ... drawings, specifications, building codes and other technical product and material data - Advanced + Knowledge of...are shaping the future** of JE Dunn. In our team- focused environment **we do life together** and are generously… 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