Jorge A. Navas Email & Phone Number
Principal Applied Scientist @ Amazon Web Services (AWS)
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
- Principal Applied Scientist @ (August 2026 - Present)
- Principal Researcher @ (December 2021 - June 2026)
- Senior Research Scientist @ (October 2016 - November 2021)
- Research Engineer @ (October 2013 - September 2016)
- Research Fellow @ (September 2011 - August 2013)
- Research Fellow @ (October 2008 - September 2011)
Jorge A. Navas Education
- The University of New Mexico
PhD (Computer Science)
2004-2008 - Universidad Politécnica de Madrid
Bachelor (Computer Science)
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 Principal Applied Scientist at Amazon Web Services (AWS). Jorge A. Navas brings experience from previous roles at Certora, SRI International, NASA Ames Research Center and The University of Melbourne. Jorge A. Navas holds a 2004 - 2008 PhD in Computer Science @ 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
Jorge Navas
Reservoir Engineer
Bogotá, Bogota, CO
Top Amazon Web Services (AWS) Employees
Melanie Keisor
VP HR, AWS Global Sales
Seattle, WA, US
Jan Hofmeyr
Vice President
Seattle, WA, US
Casey Lee
President, Glamazon SoCal (Los Angeles Metro)
Los Angeles, CA, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co