AeroLeads people directory · profile

Caio Campos Email & Phone Number

Formal Verification Engineer at NVIDIA
Location: Austin, Texas, United States 6 work roles 3 schools
1 work email found @apple.com 2 phones found area 512 LinkedIn matched
✓ Verified August 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email · 2 phones

Work email c****@apple.com
Direct phone (512) ***-****
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
NVIDIA
Role
Formal Verification Engineer
Location
Austin, Texas, United States
Company size
41500 employees

Who is Caio Campos? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Caio Campos is listed as Formal Verification Engineer at NVIDIA, a with 41500 employees, based in Austin, Texas, United States. AeroLeads shows a work email signal at apple.com, phone signal with area code 512, and a matched LinkedIn profile for Caio Campos.

Caio Campos previously worked as Formal Verification Engineer at Apple and Lead Application Engineer at Cadence Design Systems. Caio Campos holds Master Of Science (Msc), Computer Science from Universidade Federal De Minas Gerais.

Company email context

Email format at NVIDIA

This section adds company-level context without repeating Caio Campos's masked contact details.

{first_initial}{last}@apple.com
86% confidence

AeroLeads found 1 current-domain work email signal for Caio Campos. Compare company email patterns before reaching out.

View email format View company profile Management contacts
Profile bio

About Caio Campos

Formal verification (FV) expert with experience verifying control and data path blocks, from RTL bring-up to full proofs and post-silicon debug. Planned and led the execution of FV in multiple blocks, developing the FV environments and/or leading other engineersSupported and trained hundreds of engineers on Jasper and formal verification techniques Developed innovative FV technologies/tools and flows

Listed skills include Qca, Linux, Algorithms, C, and 25 others.

Current workplace

Caio Campos's current company

Company context helps verify the profile and gives searchers a useful next step.

NVIDIA
Nvidia
Formal Verification Engineer
State of Minas Gerais, Brazil
Website
nvidia.com
Employees
41500
AeroLeads page
Company profile
View company profile Email format
6 roles

Caio Campos work experience

A career timeline built from the work history available for this profile.

Formal Verification Engineer

Nvidia

State Of Minas Gerais, Brazil

Formal Verification Engineer

Apple

Cupertino, California, Us

Applying formal verification to RTL blocks in multiple GPU subsystems

Lead Application Engineer

Cadence Design Systems

San Jose, California, Us

Supported customers on JasperGold Apps deployment on multiple IPs and SoCsHelped users dealing with proof complexity and using formal coverage to achieve verification completenessPartnered with users and R&D to develop new verification flows creating script based prototypesProvided verification services to a big applications processor developer for almost three years:● Guided the team defining their formal verification methodology● Defined and executed verification plans for a cache coherent interconnect and an L2 cache● Developed and customized Assertion-Based VIPs for protocols similar to AMBA AXI and ACETrained/mentored over 100 people in formal verification

Apr 2015 - Dec 2019

Software Engineer

Cadence Design Systems

San Jose, California, Us

Led the development of the Security Path Verification App (SPV)Specified and developed most of the core features of SPV including path sensitization checker, connectivity abstractions, Graph, custom waveform debug and proof strategiesWorked as a back-end software engineer developing code mostly in C++, Java and Tcl for core JasperGold features(This work started at Jasper Design Automation which was acquired by Cadence Design Systems in July 2014)

Nov 2011 - Mar 2015

Researcher And Teacher Assistant

Universidade Federal De Minas Gerais

Belo Horizonte, Minas Gerais, Br

Graduate researcher working on clocking schemes, design rules, standard cells and placement and routing for Quantum Cellular Automata (QCA) circuitsTeacher assistant on computer organization and architecture course. Taught students the basics of RTL design and verification, Verilog and FPGA prototyping to enable them to implement a pipelined processorCreated an educational Wireless Sensors Network (WSN) simulator in JavaTeacher assistant on algorithms and data structures course tutoring undergraduate students and teaching in some classes

Aug 2008 - Mar 2015

Qa Intern

Jasper Design Automation

Mountain View, Ca, Us

Developed regression flows and created scripts (Tcl, Shell, Awk) and RTL models (mainly in Verilog/SV) to test Jasper products

Aug 2010 - Nov 2011
Team & coworkers

Colleagues at NVIDIA

Other employees you can reach at nvidia.com. View company contacts for 41500 employees →

KS Kelcey Simpson Kelcey Simpson Colleague at NvidiaAustin, Texas, United States View → VR Veda Rao Veda Rao Colleague at NvidiaEdison, New Jersey, United States View → KH Kyle Hsu Kyle Hsu Colleague at NvidiaMilpitas, California, United States View → MC Micheal Crane Micheal Crane Colleague at NvidiaNew York, United States View → KK Kiran K. Kiran K. Colleague at NvidiaGreater Seattle Area, United States View → AH Amy Hermalik Amy Hermalik Colleague at NvidiaGreater Chicago Area, United States View → MS Martin Sandberg Martin Sandberg Colleague at NvidiaBeaverton, Oregon, United States View → SS Sowmya Seetharaman Sowmya Seetharaman Colleague at NvidiaSan Francisco Bay Area, United States View → MD Maththaiya Durai Maththaiya Durai Colleague at NvidiaSan Jose, California, United States View → AN Amit Nishry Amit Nishry Colleague at NvidiaHerzliya, Tel Aviv District, Israel View →
3 education records

Caio Campos education

Master Of Science (Msc), Computer Science

Universidade Federal De Minas Gerais

Bachelor Of Science (Bsc), Electrical Engineering

Universidade Federal De Minas Gerais

Education record

Colégio Loyola
FAQ

Frequently asked questions about Caio Campos

Quick answers generated from the profile data available on this page.

What company does Caio Campos work for?

Caio Campos works for NVIDIA.

What is Caio Campos's role at NVIDIA?

Caio Campos is listed as Formal Verification Engineer at NVIDIA.

What is Caio Campos's email address?

AeroLeads has found 1 work email signal at @apple.com for Caio Campos at NVIDIA.

What is Caio Campos's phone number?

AeroLeads has found 2 phone signal(s) with area code 512 for Caio Campos at NVIDIA.

Where is Caio Campos based?

Caio Campos is based in Austin, Texas, United States while working with NVIDIA.

What companies has Caio Campos worked for?

Caio Campos has worked for Nvidia, Apple, Cadence Design Systems, Universidade Federal De Minas Gerais, and Jasper Design Automation.

Who are Caio Campos's colleagues at NVIDIA?

Caio Campos's colleagues at NVIDIA include Kelcey Simpson, Veda Rao, Kyle Hsu, Micheal Crane, and Kiran K..

How can I contact Caio Campos?

You can use AeroLeads to view verified contact signals for Caio Campos at NVIDIA, including work email, phone, and LinkedIn data when available.

What schools did Caio Campos attend?

Caio Campos holds Master Of Science (Msc), Computer Science from Universidade Federal De Minas Gerais.

What skills is Caio Campos known for?

Caio Campos is listed with skills including Qca, Linux, Algorithms, C, Computer Hardware, Bsc, Vlsi, and Verilog.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.