- Amazon (New York, NY)
- …Dafny, Lean) and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world ... Preferred Qualifications - PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent… more