Senior Applied Scientist , Automated Reasoning Group
Amazon
Boston, MA, US
36 minut temu
... analysis tools (e.g., Dafny, Lean) and applies them to software ... , such as theorem provers (Dafny, Lean), SAT-SMT solversPREFERRED QUALIFICATIONS- PhD ...
www.amazon.jobs