AeroLeads people directory · profile
Jonathan Herbst Email & Phone Number
Formal Verification Engineer
at
NVIDIA
1 work email found
@brown.edu
LinkedIn matched
✓ Verified July 2026
4 data sources
Profile completeness 86%
Current company
Role
Formal Verification Engineer
Location
Providence, Rhode Island, United States
Company size
Who is Jonathan Herbst? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Jonathan Herbst is listed as Formal Verification Engineer at NVIDIA, a with 41500 employees, based in Providence, Rhode Island, United States. AeroLeads shows a work email signal at brown.edu and a matched LinkedIn profile for Jonathan Herbst.
Jonathan Herbst previously worked as Undergraduate Student Researcher at Brown University and Undergraduate Teaching Assistant at Brown University. Jonathan Herbst holds Bachelor'S Degree, Computer Science from Brown University.
Company email context
Email format at NVIDIA
This section adds company-level context without repeating Jonathan Herbst's masked contact details.
{first}_{last}@brown.edu
86% confidence
AeroLeads found 1 current-domain work email signal for Jonathan Herbst. Compare company email patterns before reaching out.
Profile bio
About Jonathan Herbst
Junior at Brown University planning to pursue a career in neuromorphic research, computer architecture design, or machine learning for biological settings. Majoring in Computer Science with a systems and AI/ML focus, where I've taken courses in deep learning in visual processing, computer systems, compilers, digital circuits, and data structure analysis in addition to extensive neuroscience background.In my time at Brown so far, I've learned how to parse complex datasets into optimal decision tree models, and explored the psychological models that humans use for their own, non-optimal decisions. My neuroscience courses have provided insight into the complex biological systems used for memory and plasticity, while my class in Introduction to Biotechnology has helped me understand ways to bring these complex systems to the FDA and the broader patient population.I have advanced skills in Python and Excel, with proficient knowledge in Java, Keras Deep Learning, ReasonML, Adobe Photoshop and Microsoft Suite. I continue to build skills in MATLAB. I also have experience with higher-level mathematics such as Multivariable Calculus, Linear Algebra, and Differential Equations. Over the summer I hope to complete a research internship that will provide important real-life experience and skills in the intersection of the biological and computational sciences.
Current workplace
Jonathan Herbst's current company
Company context helps verify the profile and gives searchers a useful next step.
Nvidia
6 roles
Jonathan Herbst work experience
A career timeline built from the work history available for this profile.
Undergraduate Student Researcher
Analyze error rates in different commonly utilized animal tracking software; reverse-engineered resulting data to optimize both software parameters and physical lab setup, with the end goal of establishing a consistent protocol for future behavioral assays.Utilized neurobiological constraints and computer vision techniques to analyze and expand automation workflows for synaptic bouton analysis. Review methodology and findings with lab’s chief scientist via weekly discussions.
Undergraduate Teaching Assistant
Served in a team of teaching assistants for the Neuroscience course Neural Systems, focusing on anatomy and transduction mechanism of neurobiological systems; taught content through weekly sections and individualized help via office hours.Served as one of four teaching assistants for the Cybersecurity course Privacy and Personal Data Protection; fostered discussions about and analyzed responses to readings in ethics, federal statutes, legal precedents, and technological advances in Big Data.
Student Professional Worker
Los Angeles Superior Court Management Research Unit
Analyzed large-scale filing data from the nation’s largest trial court system to identify patterns of missing information between connected systems and automated the same. Presented findings to upper-level management on a weekly basis.Analyzed system-wide data trails to develop data diagrams for the court’s heavily utilized online mediation system. Incorporated input from upper management to extend existing data documentation.Reverse engineered real-time user access from archival datasets to shift towards human-centered interfaces; researched and presented potential solutions to questions regarding front-end software usability.
Jul 2022 - Sep 2022
University-Level Mathematics Teaching Assistant
Stanford University Online High School
Teaching assistant for Multivariable Calculus, Linear Algebra, and Differential Equations. Hosted weekly office hours as well as comprehensive course review sessions before each major exam. Instructed up to twenty students per review session. Communicated with faculty regularly to adjust for student interests and needs.
Sep 2019 - May 2021
Basic And Advanced Levels Instructor
Provided educational assistance to mathematically struggling K-12 students in topics ranging from addition to calculus. Identified student weaknesses, addressed problems, encouraged future engagement. Provided objective assessments of student achievement over time for employer records and for discussions with students’ parents.
Jun 2020 - Sep 2020
Team & coworkers
Colleagues at NVIDIA
Other employees you can reach at nvidia.com. View company contacts for 41500 employees →
VG
Vashu Gupta
Colleague at NvidiaGreater Bengaluru Area, India
View →
SL
Shyam Lakshminarayanan
Colleague at NvidiaBengaluru, Karnataka, India
View →
RA
Rotem Aviv
Colleague at NvidiaSan Diego, California, United States
View →
YP
Yahel Pessi
Colleague at NvidiaIsrael
View →
HL
Hyunsung Lee
Colleague at NvidiaSeoul Incheon Metropolitan Area, Korea, Republic Of
View →
SY
Sumanth Y
Colleague at NvidiaBengaluru, Karnataka, India
View →
VG
Vikas Giriraj
Colleague at NvidiaBengaluru, Karnataka, India
View →
RL
Rob Likovich
Colleague at NvidiaWake Forest, North Carolina, United States
View →
ZR
Zhangwei Ren
Colleague at NvidiaChina
View →
CB
Chris Buris
Colleague at NvidiaBoulder, Colorado, United States
View →
Vashu Gupta
Colleague at NvidiaGreater Bengaluru Area, India
View →
SL
Shyam Lakshminarayanan
Colleague at NvidiaBengaluru, Karnataka, India
View →
RA
Rotem Aviv
Colleague at NvidiaSan Diego, California, United States
View →
YP
Yahel Pessi
Colleague at NvidiaIsrael
View →
HL
Hyunsung Lee
Colleague at NvidiaSeoul Incheon Metropolitan Area, Korea, Republic Of
View →
SY
Sumanth Y
Colleague at NvidiaBengaluru, Karnataka, India
View →
VG
Vikas Giriraj
Colleague at NvidiaBengaluru, Karnataka, India
View →
RL
Rob Likovich
Colleague at NvidiaWake Forest, North Carolina, United States
View →
ZR
Zhangwei Ren
Colleague at NvidiaChina
View →
CB
Chris Buris
Colleague at NvidiaBoulder, Colorado, United States
View →
2 education records
Jonathan Herbst education
Bachelor'S Degree, Computer Science
Brown University
High School Diploma
Stanford Online High School
FAQ
Frequently asked questions about Jonathan Herbst
Quick answers generated from the profile data available on this page.
What company does Jonathan Herbst work for?
Jonathan Herbst works for NVIDIA.
What is Jonathan Herbst's role at NVIDIA?
Jonathan Herbst is listed as Formal Verification Engineer at NVIDIA.
What is Jonathan Herbst's email address?
AeroLeads has found 1 work email signal at @brown.edu for Jonathan Herbst at NVIDIA.
Where is Jonathan Herbst based?
Jonathan Herbst is based in Providence, Rhode Island, United States while working with NVIDIA.
What companies has Jonathan Herbst worked for?
Jonathan Herbst has worked for Nvidia, Brown University, Los Angeles Superior Court Management Research Unit, Stanford University Online High School, and Mathnasium - The Math Learning Center.
Who are Jonathan Herbst's colleagues at NVIDIA?
Jonathan Herbst's colleagues at NVIDIA include Vashu Gupta, Shyam Lakshminarayanan, Rotem Aviv, Yahel Pessi, and Hyunsung Lee.
How can I contact Jonathan Herbst?
You can use AeroLeads to view verified contact signals for Jonathan Herbst at NVIDIA, including work email, phone, and LinkedIn data when available.
What schools did Jonathan Herbst attend?
Jonathan Herbst holds Bachelor'S Degree, Computer Science from Brown University.
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