Senior Applied Scientist , Automated Reasoning Group
Amazon
Boston, MA, US
jeden dzień temu
... deductive verification techniques (e.g. Lean, Dafny) to deliver novel code ... , such as theorem provers (Dafny, Lean), SAT-SMT solversPREFERRED QUALIFICATIONS- PhD ...
www.amazon.jobs