Senior Applied Scientist , Automated Reasoning Group
The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale....