Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
4 godziny 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