• ASIC Formal Verification Engineer Intern,…

    Amazon (Austin, TX)
    …with RTL: Verilog or VHDL. * Knowledge of declarative programming languages: Ocaml , Haskell. * Experience with scripting languages, such as Python, or TCL. ... * Ability to effectively articulate technical challenges and solutions * Adept at handling ambiguous or undefined problems as well as ability to think abstractly Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer… more
    Amazon (03/28/24)
    - Related Jobs