Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
7 godzin temu
... all levels of abstraction from assembly through very high-level languages like Dafny. You will work ... SMT, and various concepts from programming languages to automate reasoning at scale ... with higher-level programming languages like Rust, Dafny, Lean, OCaml, ...
www.amazon.jobs