- Intermountain Health (Austin, TX)
- … abstraction , compilation, validation, for clinical registries. The abstractors/registrar partner with registry owners in the identification of opportunities and ... designation utilize different names for staff who function as an abstraction , specialist, or registrar. This job description is Intermountain' job description… more
- Amazon (Austin, TX)
- …and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and coverage reviews. - Promote assertions ... owner - 3+ years experience with formal verification techniques including abstraction and end-to-end checking Preferred Qualifications - Understanding of u-arch… more
- Amazon (Austin, TX)
- …ago. Our work spans from the lowest levels of hardware abstraction to high-performance distributed training systems, creating unique opportunities for early-career ... makes ML possible at scale. - The SoC Hardware Abstraction Layer (HAL) team works at the intersection of...you're applying in isn't listed, please contact your Recruiting Partner . Our compensation reflects the cost of labor across… more
- Amazon (Austin, TX)
- …can be supported via flexible software architectures, OS and Hardware Platform abstraction , testability, and scalability across multiple device types. You will dive ... please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you're applying in isn't listed, please contact your Recruiting Partner… more
- Amazon (Austin, TX)
- …be supported via scalable OS software architecture and Hardware Platform abstraction , testability. Basic Qualifications - 5+ years of non-internship professional ... please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you're applying in isn't listed, please contact your Recruiting Partner… more
- Meta (Austin, TX)
- …or multiple complex blocks. The role also provides ample opportunities to partner and collaborate with full stack software, hardware, ASIC Design, Emulation and ... understanding of Formal Verification methodologies, complexity reduction techniques and abstraction techniques 12. Proven analytical skills to craft novel solutions… more