Ivan User
@ivanuser7
PhD researcher using Python/C++ to evaluate AI math reasoning.
CzechiaWhat I'm looking for
I’m a PhD researcher in mathematics and computational applied mathematics, focused on rigorous mathematical reasoning and reproducible computational workflows. I combine optimization, graph algorithms, numerical experiments, and careful verification to turn complex math into dependable, checkable outputs.
My work is directly aligned with AI model evaluation: I assess mathematical correctness, detect hallucinated reasoning, design/grade prompts, compare model answers, and write rubrics with corrected solutions. I also build Python/C++ pipelines for solution verification and proof checking, including construction of exact counterexamples/certificates and clear explanations of subtle mathematical cases.
On the computational side, I develop exact-search and algorithmic evaluation systems using SAT/ILP and Dancing Links (DLX), generate benchmark data with scalability logs, and maintain reproducibility archives. I also teach and translate advanced topics—Optimization, Complex Analysis, Computational Topology, and Graph Theory—into graduate-level exercises and step-by-step solution explanations for learners and technical stakeholders.
Experience
Work history, roles, and key accomplishments
Applied Math Researcher
VSB - Technical University of Ostrava
Apr 2026 - Present (3 months)
Conduct mathematical and computational research in algorithms, graph decompositions, numerical experiments, and reproducible computational pipelines. Contribute to REFRESH, linking advanced computation with high-tech-industry and regional modernisation goals.
Mathematics Researcher
Charles University
Feb 2025 - Dec 2025 (10 months)
Worked on exact algorithms for graph-covering problems, combinatorial structures, and optimization within a Czech Science Foundation project. Produced computational documentation, benchmark data, and reproducibility archives for exact-covering studies.
Teaching Assistant
University of Ostrava
Jan 2022 - Jan 2025 (3 years)
Supported university tutorials in Optimization, Complex Analysis, Computational Topology, and Graph Theory (across University of Ostrava, Charles University, and VSB - Technical University of Ostrava). Prepared exercises, explained proofs and algorithms, and assisted students with mathematical problem solving.
Education
Degrees, certifications, and relevant coursework
VSB - Technical University of Ostrava
Doctor of Philosophy (Ph.D.), Computational and Applied Mathematics
2022 -
Ph.D. studies in Computational and Applied Mathematics at VSB - Technical University of Ostrava (2022–present).
University of Ostrava
Doctor of Philosophy (Ph.D.), Mathematics
2022 -
Ph.D. studies in Mathematics at the University of Ostrava (2022–present).
Sorbonne University
Erasmus+ exchange study
2020 - 2021
Erasmus+ exchange study at Sorbonne University in Paris (2020–2021).
University of Science and Technology of China
Bachelor of Science (B.Sc.), Mathematics and Applied Mathematics
2015 - 2019
B.Sc. in Mathematics and Applied Mathematics at the University of Science and Technology of China (2015–2019).
Charles University
Master of Science (Mgr.), Mathematics
2019 - 2022
Mgr. degree in Mathematics at Charles University in Prague (2019–2022).
Availability
Location
CzechiaAuthorized to work in
Job categories
Skills
Interested in hiring Ivan?
You can contact Ivan and 90k+ other talented remote workers on Himalayas.
Message IvanGet matched with your dream remote job
Sign up now and join over 250,000+ remote workers who receive personalized job alerts, curated job matches, and more for free!
