Apple
Antonio Caldeira is an experienced SOC Formal Verification Engineer at Apple since February 2015, with prior significant roles including Sr. AE Manager at Cadence Design Systems following its acquisition of Jasper Design Automation. At Jasper Design Automation, Antonio served as a Sr. Staff Application Engineer, providing technical expertise in formal verification, and collaborated with R&D to drive product improvements. Earlier positions include Quality Assurance Engineer at Jasper, Teaching Assistant at Universidade Federal de Minas Gerais, Software Developer at Open Systems Engineering, and Research Assistant at the same university's Laboratory of Computer Engineering. Antonio holds a Master of Science (M.Sc.) and a Bachelor of Science (B.Sc.) in Computer Science from Universidade Federal de Minas Gerais, as well as a Technician degree in Business Administration and Management from Escola Tecnica de Formacao Gerencial - SEBRAE-MG.
This person is not in the org chart
This person is not in any teams
Apple
9947 followers
Apple is a diverse collective of thinkers and doers, continually reimagining what’s possible to help everyone do what they love in new ways. And the same innovation that goes into their products also applies to their practices — strengthening their commitment to leave the world better than it was found.