Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
8 godzin temu
... with interactive theorem provers, particularly Lean or Coq- Knowledge of one ... languages targeting validation like Danfy, Lean, Spark, etc.Amazon is committed ...
www.amazon.jobs