Davi User
@daviuser2
I build verified mathematical proofs and benchmark reasoning datasets for AI training.
BrazilWhat I'm looking for
At Universidade Estadual de Santa Cruz, I’ve proved 10+ theorems and lemmas in abstract algebra and logic, authored 40+ pages of LaTeX monographs, and designed ground-truth argument traces for LLM reasoning benchmarks.
I also deliver personalized advanced mathematics instruction, breaking complex problems into verifiable steps and helping 15+ students improve grades by an average of 25%. Through Lean 4, I’ve formalized 20+ deductive proofs and algebraic structures with computer-verified validity.
Experience
Work history, roles, and key accomplishments
Academic Researcher & Technical Writer
Universidade Estadual de Santa Cruz (UESC)
Jan 2024 - Present (2 years 7 months)
Spearheaded formal pure mathematics research, proving 10+ theorems and lemmas in abstract algebra and logic. Authored 40+ pages of technical monographs and reports in LaTeX, and designed ground-truth argument traces for algebraic structures to support LLM reasoning benchmarks.
Education
Degrees, certifications, and relevant coursework
Universidade Estadual de Santa Cruz (UESC)
Bachelor of Science, Mathematics
2022 -
Grade: 3.2
Pursuing a Bachelor of Science in Mathematics with a GPA of 3.2, focusing on rigorous mathematical foundations and scientific computing.
Tech stack
Software and tools used professionally
Availability
Location
BrazilAuthorized to work in
Job categories
Interested in hiring Davi?
You can contact Davi and 90k+ other talented remote workers on Himalayas.
Message DaviGet 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!
