Jorge A. Navas Email & Phone Number
Senior Research Engineer @ Certora
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Jorge A. Navas Location
- United States
Jorge A. Navas Work
- 2021 -now Senior Research Engineer @
- 2016 -2021 Senior Research Scientist @
- 2013 -2016 Research Engineer @
- 2011 -2013 Research Fellow @
- 2008 -2011 Research Fellow @
Jorge A. Navas Education
- The University of New Mexico 2004-2008
- Universidad Politécnica de Madrid 1998-2003
Jorge A. Navas Skills
- C
- C++
- Java
- Prolog
- Formal Verification
- Static Analysis
- Compilers
- Linux
- Computer Science
- Programming
- Algorithms
- Research
- Software Verification
- Verification
Jorge A. Navas Summary
- Jorge A. Navas, based in United States, is currently a Senior Research Engineer at Certora. Jorge A. Navas brings experience from previous roles at SRI International, NASA Ames Research Center, The University of Melbourne and National University of Singapore. Jorge A. Navas holds a 2004 - 2008 The University of New Mexico. With a robust skill set that includes C, C++, Java, Prolog, Formal Verification and more. Jorge A. Navas has 2 emails and 1 mobile phone numbers on RocketReach.
Looking for a different Jorge A. Navas?
Find contact details for 700 million professionals.
Others Named Jorge A. Navas
Top Certora Employees
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co