…internal and external users to understand their requirements for formal verification and automatedreasoning . * 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