• Formal Verification Product

    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 (06/03/25)
    - Save Job - Related Jobs - Block Source
  • Pharmacy Manager

    Walgreens (Round Rock, 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
    Walgreens (06/20/25)
    - Save Job - Related Jobs - Block Source
  • C / C++ / Qt Senior Software Engineer - Simulation…

    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
    Siemens (04/16/25)
    - Save Job - Related Jobs - Block Source
  • GenAI Security Researcher, Artificial General…

    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
    Amazon (07/11/25)
    - Save Job - Related Jobs - Block Source
  • Senior Structural Engineering Manager- Buildings

    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
    JE Dunn Construction Company (07/04/25)
    - Save Job - Related Jobs - Block Source