• 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)
    - Save Job - Related Jobs - Block Source
  • Quantitative Developer

    Bloomberg (New York, NY)
    …in some of CMake, AAD, Linux, Unix (Sun/IBM), Docker, WSL, Python, or OCaml + Knowledge of financial mathematics such as optimization techniques, monte-carlo, etc. + ... Familiarity with financial products such as interest rates or equity derivatives + A keen interest in developing skills in these areas *Please note we use years of experience as a guide, but we will certainly consider applications from all candidates who are… more
    Bloomberg (02/27/24)
    - Save Job - Related Jobs - Block Source