- Amazon (New York, NY)
- …internal and external users to understand their requirements for formal verification and automated reasoning . * Enhance and extend the capabilities of formal ... responsibilities * Design and implement scalable systems for formal reasoning and automated theorem proving. * Collaborate...reasoning systems to meet application-specific demands. * Proactively identify… more