Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
jeden dzień temu
... similar discipline.- Experience with the Lean (preferred) or Coq interactive theorem ... programming languages like Rust, Dafny, Lean, OCaml, and LISP.Amazon is ...
www.amazon.jobs