Jamie Wannenburg is a lecturer and researcher with 12 years’ experience blending engineering and advanced mathematics to tackle complex, quantitative problems. With a PhD and MSc in Mathematics and a BIng in Mechanical Engineering, he moves comfortably between abstract theory and practical programming-driven solutions, having held academic posts in South Africa and a postdoc in the Czech Republic. His background includes applied engineering roles and hands-on development of tools and web apps, demonstrating an ability to translate theory into deployable systems for industry and academia. Jamie seeks opportunities that combine research, theory development and real-world problem solving, and his career reflects a rare fluency in both rigorous mathematical thinking and pragmatic software engineering.
William McCune's Library for Automated Deduction Research (LADR)
Contributions:1 release, 62 pushes, 7 branches in 11 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.