Soc Formal Verification Engineer
Current
Dec 2017 - Present
AeroLeads people directory · profile
Marcus Da Mata Email & Phone Number
SOC Formal Verification Engineer
at
Apple
LinkedIn matched
✓ Verified August 2026
3 data sources
Profile completeness 100%
Current company
Role
SOC Formal Verification Engineer
Location
San Francisco Bay Area, United States
Who is Marcus Da Mata? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Marcus Da Mata is listed as SOC Formal Verification Engineer at Apple, based in San Francisco Bay Area, United States. AeroLeads shows a matched LinkedIn profile for Marcus Da Mata.
Marcus Da Mata previously worked as Lead Application Engineer at Cadence Design Systems and Senior Application Engineer at Cadence Design Systems. Marcus Da Mata holds Bachelor'S Degree, Computer Engineering from Centro Federal De Educação Tecnológica De Minas Gerais.
Company email context
Email format at Apple
This section adds company-level context without repeating Marcus Da Mata's masked contact details.
Apple
Review company-level records connected to Marcus Da Mata before choosing the right outreach path.
Profile bio
About Marcus Da Mata
Marcus Da Mata is a SOC Formal Verification Engineer at Apple. He possess expertise in c++, formal verification, programming, verilog, c and 11 more skills. He is proficient in English.
Listed skills include C++, Formal Verification, Programming, Verilog, and 12 others.
Current workplace
Marcus Da Mata's current company
Company context helps verify the profile and gives searchers a useful next step.
6 roles
Marcus Da Mata work experience
A career timeline built from the work history available for this profile.
Lead Application Engineer
Jul 2015 - Dec 2017
Senior Application Engineer
Sep 2014 - Jun 2015
Application Engineer
Dec 2013 - Sep 2014
Software Engineer
Aug 2013 - Nov 2013
Software Engineer Internship
Mar 2012 - Jul 2013
1 education record
Marcus Da Mata education
-
Centro Federal De Educação Tecnológica De Minas Gerais
FAQ
Frequently asked questions about Marcus Da Mata
Quick answers generated from the profile data available on this page.
What company does Marcus Da Mata work for?
Marcus Da Mata works for Apple.
What is Marcus Da Mata's role at Apple?
Marcus Da Mata is listed as SOC Formal Verification Engineer at Apple.
Where is Marcus Da Mata based?
Marcus Da Mata is based in San Francisco Bay Area, United States while working with Apple.
What companies has Marcus Da Mata worked for?
Marcus Da Mata has worked for Apple, Cadence Design Systems, and Jasper Design Automation.
How can I contact Marcus Da Mata?
You can use AeroLeads to view verified contact signals for Marcus Da Mata at Apple, including work email, phone, and LinkedIn data when available.
What schools did Marcus Da Mata attend?
Marcus Da Mata holds Bachelor'S Degree, Computer Engineering from Centro Federal De Educação Tecnológica De Minas Gerais.
What skills is Marcus Da Mata known for?
Marcus Da Mata is listed with skills including C++, Formal Verification, Programming, Verilog, C, Linux, Tcl, and Java.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial