Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
godzinę temu
... and expertise in automated solving, interactive theorem proving, programming language semantics, ... our methods span from interactive theorem proving to automated test ... related discipline- Experience with interactive theorem provers, particularly Lean or ...
www.amazon.jobs