Chinmay Jindal

UX Designer

Greater Toronto Area, Canada0 mo experience

Key Highlights

  • Expert in autoformalization and Lean methodologies.
  • Experience in research and teaching roles.
  • Strong foundation in computer science from University of Waterloo.
Stackforce AI infers this person is a Software Engineering candidate with a focus on autoformalization and distributed systems.

Contact

LinkedIn

Skills

Core Skills

Autoformalization

Other Skills

Lean

About

interested in scaling llms, distributed systems and autonomous hardware chinmay [dot] jindal [at] uwaterloo [dot] ca

Experience

0 mo
Total Experience
--
Average Tenure
--
Current Experience

Non-trivial

Research Fellow

Apr 2025 – Jul 2025 · 3 mos

  • Autoformalization pipelines in Lean
AutoformalizationLean

Nokia

Machine Learning Engineer

Jul 2024 – Aug 2024 · 1 mo · Ottawa, Ontario, Canada

Live, by po-shen loh

Olympiad Teaching Assistant

Dec 2023 – Jun 2025 · 1 yr 6 mos · Pennsylvania, United States

Education

University of Waterloo

Bachelor of Computer Science — Computer Science