Jennifer Davis
Associate Director
Cedar Rapids, Iowa, United States
Summary
👤
Senior🎓
Top SchoolJennifer Davis is an Associate Director at Collins Aerospace with nine years of experience applying formal methods to improve system assurance and reduce development costs. She leads the Trusted Methods Discipline Team in the Applied Research & Technology organization, translating rigorous mathematical proofs into automated, practical verification and validation workflows. With a Ph.D. and M.S. in Mathematics, her expertise spans verifiable architectures, formal verification, automated theorem proving, error-correcting codes, cryptography, and information assurance. Jennifer blends deep theoretical knowledge with applied engineering to make mathematically grounded assurance techniques usable in industry settings. Based in Cedar Rapids, Iowa, she is known for turning abstract proof techniques into repeatable processes that strengthen system reliability across complex aerospace projects. Her background in secondary education hints at a knack for communicating difficult concepts clearly to multidisciplinary teams.
9 years of coding experience
B.A., Mathematics, Secondary Education, B.A., Mathematics, Secondary Education at Carthage CollegeSparta Senior High SchoolPh.D., Mathematics, Ph.D., Mathematics at University of Nebraska-Lincoln
Github Skills (12)
decision-making10
theorem6
tla3
quality-assurance3
requirements-management3
yang3
perf3
risk-assessment3
requirements2
laravel2
specification2
php2
Programming languages (4)
Github contributions (5)
afrl-rq/OpenUxAS-SoI
May 2017 - Jul 2019
Project for multi-UAV cooperative decision making
Contributions:434 commits, 313 pushes in 2 years 2 months
decision-makingcooperativeuavdecision
loonwerks/loonwerks.github.io
Mar 2017 - Jul 2021
Contributions:41 commits, 32 pushes in 4 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.