Harshid User
@harshiduser
I'm building formal-logic knowledge infrastructure for AI at Gamgee Labs.
IndiaWhat I'm looking for
I'm building knowledge infrastructure for AI based on formal logic as Co-Founder and CTO of Gamgee Labs.
Previously, I was Auquan's founding engineer, helping take the company from 0 to 1 by prototyping solutions and establishing critical infrastructure, agentic workflows, and data pipelines for institutional finance customers including MetLife, T. Rowe Price, and BC Partners. I also built for Tesco's Online Grocery Store and worked on Android development for Avaya Equinox.
Experience
Work history, roles, and key accomplishments
Building knowledge infrastructure for AI, based on formal logic.
Founding engineer for Auquan’s 0 to 1 journey. Auquan makes automated workflows for institutional finance for institutions like MetLife, T. Rowe Price, and BC Partners.
Responsible for prototyping solutions and setting up foundations of the critical infrastructure, agentic workflows and data pipelines.
Full Stack Engineer at Auquan.
Software Developer for Tesco's Online Grocery Store.
Android Development for Avaya Equinox.
Education
Degrees, certifications, and relevant coursework
Birla Institute of Technology and Science, Pilani
Bachelor of Engineering - BE (Hons.), Computer Science and Engineering
2014 - 2018
Birla Institute of Technology and Science, Pilani
Bachelor of Engineering, Computer Science and Engineering
2014 - 2018
Pursued a Bachelor of Engineering (Honours) in Computer Science and Engineering from 2014 to 2018.
Availability
Location
IndiaAuthorized to work in
Job categories
Interested in hiring Harshid?
You can contact Harshid and 90k+ other talented remote workers on Himalayas.
Message HarshidGet 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!
