AeroLeads people directory · profile
Tom Hawkins Email & Phone Number
Formal Methods Engineer
at
Atalanta
1 work email found
@baesystems.com
1 phone found area 407
LinkedIn matched
✓ Verified August 2026
4 data sources
Profile completeness 100%
Current company
Role
Formal Methods Engineer
Location
Bellingham, Washington, United States
Who is Tom Hawkins? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Tom Hawkins is listed as Formal Methods Engineer at Atalanta, based in Bellingham, Washington, United States. AeroLeads shows a work email signal at baesystems.com, phone signal with area code 407, and a matched LinkedIn profile for Tom Hawkins.
Tom Hawkins previously worked as Software Engineer at Groq and Principal Software Engineer at Bae Systems. Tom Hawkins holds Bs, Electrical Engineering from Colorado State University.
Company email context
Email format at Atalanta
This section adds company-level context without repeating Tom Hawkins's masked contact details.
{first}.{last}@baesystems.com
86% confidence
AeroLeads found 1 current-domain work email signal for Tom Hawkins. Compare company email patterns before reaching out.
Profile bio
About Tom Hawkins
Specialties: Functional programming, formal methods of software and hardware verification, safety critical embedded, domain specific languages, FPGA and ASIC design, vehicle dynamics, control theory, hydraulic systems.
Listed skills include Embedded Systems, Software Engineering, Fpga, Hydraulic Systems, and 18 others.
Current workplace
Tom Hawkins's current company
Company context helps verify the profile and gives searchers a useful next step.
8 roles
Tom Hawkins work experience
A career timeline built from the work history available for this profile.
Software Engineer
Principal Software Engineer
Oct 2011 - May 2017
Oct 2007 - Oct 2011
Design Automation Engineer
Managing ASIC design tools and methods in the areas of formal verification, behavioral synthesis, and system modeling.
Jan 2004 - Oct 2007
President
Launchbird Design Systems
May 2002 - Jan 2004
Logic Design Engineer
Dillon Engineering
FPGA and embedded system development.
May 2000 - May 2002
Systems Engineer
Automatic flight control systems avionics (auto-pilot, yaw damper, auto-throttle).
Jun 1998 - May 2000
1 education record
Tom Hawkins education
-
Colorado State University
FAQ
Frequently asked questions about Tom Hawkins
Quick answers generated from the profile data available on this page.
What company does Tom Hawkins work for?
Tom Hawkins works for Atalanta.
What is Tom Hawkins's role at Atalanta?
Tom Hawkins is listed as Formal Methods Engineer at Atalanta.
What is Tom Hawkins's email address?
AeroLeads has found 1 work email signal at @baesystems.com for Tom Hawkins at Atalanta.
What is Tom Hawkins's phone number?
AeroLeads has found 1 phone signal(s) with area code 407 for Tom Hawkins at Atalanta.
Where is Tom Hawkins based?
Tom Hawkins is based in Bellingham, Washington, United States while working with Atalanta.
What companies has Tom Hawkins worked for?
Tom Hawkins has worked for Atalanta, Groq, Bae Systems, Eaton Corporation, and Medtronic.
How can I contact Tom Hawkins?
You can use AeroLeads to view verified contact signals for Tom Hawkins at Atalanta, including work email, phone, and LinkedIn data when available.
What schools did Tom Hawkins attend?
Tom Hawkins holds Bs, Electrical Engineering from Colorado State University.
What skills is Tom Hawkins known for?
Tom Hawkins is listed with skills including Embedded Systems, Software Engineering, Fpga, Hydraulic Systems, Control Theory, Formal Verification, Microcontrollers, and Systems Engineering.
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