Formal Verification Engineer @ (December 2019 - April 2026)
Lead Application Engineer @ (April 2015 - December 2019)
Software Engineer @ (November 2011 - March 2015)
Researcher and Teacher Assistant @ (August 2008 - March 2015)
QA Intern @ (August 2010 - November 2011)
Caio Campos Education
Universidade Federal de Minas Gerais
Master of Science (MSc) (Computer Science)
2013-2015
Universidade Federal de Minas Gerais
Bachelor of Science (BSc) (Electrical Engineering)
2007-2011
Colégio Loyola 1994-2006
Caio Campos Skills
ACE
AMBA
AXI
Algorithms
Artificial Intelligence
Assembly
Bash
C
C++
C2RTL
Cache Coherency
Computer Architecture
Computer Hardware
Datapath
Debugging
EDA
FPGA
Formal Verification
Java
Linux
Microcontrollers
Object-Oriented Programming (OOP)
Programming
QCA
SVA
Scripting
Semiconductors
Simulation
Software Development
Software Engineering
SystemVerilog
TCL
VHDL
VLSI
Verilog
Caio Campos Summary
Caio Campos, based in State of Minas Gerais, Brazil, is currently a Formal Verification Engineer at NVIDIA. Caio Campos brings experience from previous roles at Apple, Cadence Design Systems and Universidade Federal de Minas Gerais. Caio Campos holds a 2013 - 2015 Master of Science (MSc) in Computer Science @ Universidade Federal de Minas Gerais. With a robust skill set that includes ACE, AMBA, AXI, Algorithms, Artificial Intelligence and more. Caio Campos has 2 emails and 2 mobile phone numbers on RocketReach.
Looking for a different Caio Campos?
Find contact details for 700 million professionals.