Please complete the CAPTCHA to continue
A concise factual answer block for searchers comparing this professional profile.
Jared Davis is listed as Principal Applied Scientist at Amazon at Amazon, based in Austin, Texas, United States. AeroLeads shows a matched LinkedIn profile for Jared Davis.
Jared Davis previously worked as Principal Applied Scientist at Amazon and Formal Verification Engineer at Apple. Jared Davis holds Doctor Of Philosophy (Ph.D.), Computer Science from University Of Texas At Austin.
This section adds company-level context without repeating Jared Davis's masked contact details.
Review company-level records connected to Jared Davis before choosing the right outreach path.
I'm leading a new team of applied scientists at AWS, building GenAI-powered services to scale security. Shifting into management is a recent change for me, and I'm finding it surprisingly rewarding. Mentoring and helping others grow has quickly become one of the most meaningful parts of my work.Earlier in my career, I've worked across both hardware and software, doing formal verification, model checking, interactive theorem proving, and programming in diverse settings. I've had the privilege of contributing to critical projects where security and reliability are essential, like Apple's A-series processors, AWS's Trainium chips, and the protection of Amazon's most sensitive customer data. Along the way, I've learned to balance my desire for clarity and quality with real-world impact.I'm passionate about making complex systems more secure, robust, and understandable. I've come to appreciate I can't do this alone. I deeply value collaboration and inclusion. I'm focused on building a high-trust team that motivates everyone to set the right goals and do their best work.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Seattle, WA, US
I am currently leading a small team of applied scientists to deliver an innovative new AWS security product powered by GenAI. In this new role, I'm working to establish product direction, define quality metrics that enable rapid iteration, and strengthen the team through hiring and development.Previously:I joined a business-critical tiger team to verify a.
Austin, TX, US
Wrote translator for formally modeling Verilog/SystemVerilog which powered all of Centaur's FV effort and many side tools (linter, equivalence checker, refactoring tool, code browser).Formally specified X86 integer, floating-point, and media instructions and created a high-speed testing framework to validate these specs and reuse them for post-silicon.
Wrote the “self-verifying” Milawa theorem prover (dissertation project).Created ACL2 libraries for set theory, linear memories, file operations, unicode, etc.Developed and maintained an ACL2 installer for Windows.
Cedar Rapids, Iowa, US
Developed new ACL2 libraries for dependency trees, maps, and functional instantiation.Extended many widely used ACL2 libraries and our build system.
Program transformation research using the High Assurance Transformation System (HATS).Formalized the Sandia Secure Processor (an embedded JVM) in ACL2.Led experimental programming languages course for gifted freshmen.
Developed Research Wizard (LAMP web app) which received national recognition by the American Library Association.Assembled, maintained, and supported 125 staff and public computers.Awarded the library's Distinguished Service Award.
Albuquerque, NM, US
Verification of a static class loader for the Sandia Secure Processor (an embedded JVM).
Quick answers generated from the profile data available on this page.
Jared Davis works for Amazon.
Jared Davis is listed as Principal Applied Scientist at Amazon at Amazon.
Jared Davis is based in Austin, Texas, United States while working with Amazon.
Jared Davis has worked for Amazon, Apple, Centaur Technology, University Of Texas At Austin, and Rockwell Collins.
You can use AeroLeads to view verified contact signals for Jared Davis at Amazon, including work email, phone, and LinkedIn data when available.
Jared Davis holds Doctor Of Philosophy (Ph.D.), Computer Science from University Of Texas At Austin.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contacts