Max Zeuner Email & Phone Number
Who is Max Zeuner? Overview
A concise factual answer block for searchers comparing this professional profile.
Max Zeuner is listed as Developer at Ericsson, a with 107429 employees, based in Stockholm, Stockholm County, Sweden. AeroLeads shows a matched LinkedIn profile for Max Zeuner.
Max Zeuner previously worked as PHD Researcher at Stockholm University and Teaching Assistant at Stockholm University. Max Zeuner holds Doctor Of Philosophy - Phd, Computational Mathematics from Stockholms Universitet.
Email format at Ericsson
This section adds company-level context without repeating Max Zeuner's masked contact details.
Review company-level records connected to Max Zeuner before choosing the right outreach path.
About Max Zeuner
Until recently, I was a PhD student in computational mathematics at Stockholm University. A large part of my day-to-day research work consisted of a rather particular form of coding, namely writing formal proofs using the Agda proof assistant. In fact, I am one of the main Github-contributors to the Cubical Agda library of formalized mathematics. Generally, I am interested in how we can use formal methods and software tools like proof assistants to ensure the correctness of mathematical proofs and algorithms in order to create trustworthy code where it matters the most.
Max Zeuner's current company
Company context helps verify the profile and gives searchers a useful next step.
Max Zeuner work experience
A career timeline built from the work history available for this profile.
Phd Researcher
My research interests are type theory, in particular homotopy type theory, and the foundations of mathematics in general. A lot of my mathematical research is formalized using the Cubical Agda proof assistant, aiming towards a fully formalized, constructive and univalent approach to algebraic geometry.
Teaching Assistant
I helped teaching several recurring programming courses. The courses range from an introductory course in Python and more advanced courses using languages such as C or Java and even Haskell and Prolog, to a project based course on software development and agile methods. I also supervised three bachelor's theses in computer science, an experience I particularly enjoyed.
Colleagues at Ericsson
Other employees you can reach at ericsson.com. View company contacts for 107429 employees →
Numan Mian
Colleague at EricssonFrisco, Texas, United States
View →
RR
Rosalio Rubio Alvarado
Colleague at EricssonUnited States
View →
JC
Justin Chan
Colleague at EricssonGreater Linköping Metropolitan Area, Sweden
View →
WE
Walter Eberle
Colleague at EricssonArgentina
View →
MA
Medhat Ali
Colleague at EricssonEgypt
View →
SS
Shreya Sharma
Colleague at EricssonGurugram, Haryana, India
View →
GK
Gargi Kundu
Colleague at EricssonKolkata, West Bengal, India
View →
NE
Nicole Eickhoff
Colleague at EricssonAachen, North Rhine-Westphalia, Germany
View →
CS
Cristiano Santos
Colleague at EricssonRio De Janeiro, Brazil
View →
CO
Calvin Oliver
Colleague at EricssonGreater Philadelphia, United States
View →
Max Zeuner education
Doctor Of Philosophy - Phd, Computational Mathematics
Master Of Arts - Ma, Logic & Philosophy Of Science
Master Of Science - Ms, Mathematics
Bachelor Of Science - Bs, Mathematics
Frequently asked questions about Max Zeuner
Quick answers generated from the profile data available on this page.
What company does Max Zeuner work for?
Max Zeuner works for Ericsson.
What is Max Zeuner's role at Ericsson?
Max Zeuner is listed as Developer at Ericsson.
Where is Max Zeuner based?
Max Zeuner is based in Stockholm, Stockholm County, Sweden while working with Ericsson.
What companies has Max Zeuner worked for?
Max Zeuner has worked for Ericsson and Stockholm University.
Who are Max Zeuner's colleagues at Ericsson?
Max Zeuner's colleagues at Ericsson include Numan Mian, Rosalio Rubio Alvarado, Justin Chan, Walter Eberle, and Medhat Ali.
How can I contact Max Zeuner?
You can use AeroLeads to view verified contact signals for Max Zeuner at Ericsson, including work email, phone, and LinkedIn data when available.
What schools did Max Zeuner attend?
Max Zeuner holds Doctor Of Philosophy - Phd, Computational Mathematics from Stockholms Universitet.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialCheck these profiles if this is not the Max Zeuner you were looking for.
View similar profiles