Sameer Arora

AI Researcher

India6 yrs 1 mo experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Strong foundation in Computer Science and Mathematics.
  • Experience in formal verification of smart contracts.
  • Proficient in multiple programming languages.
Stackforce AI infers this person is a Software Engineer with a focus on Blockchain and Compiler Development.

Contact

Skills

Other Skills

C++COQCascading Style Sheets (CSS)HTML5JavaOCamlPHPSQL

About

Computer Science and Mathematics student eager to take on challenging tasks involving programming, logic, design and development.

Experience

Qicap.ai

2 roles

Quantitative Researcher

Mar 2025Present · 1 yr · Bengaluru, Karnataka, India

Quantitative Researcher Intern

Sep 2024Mar 2025 · 6 mos · Bengaluru, Karnataka, India

Certora

Security Product Researcher

May 2021Jul 2024 · 3 yrs 2 mos · Seattle, Washington, United States

  • Formal verification of Ethereum Smart Contracts

Cornell university

Teaching Assistant

Aug 2020Dec 2020 · 4 mos

  • CS 5414 - Distributed Systems

Facebook

Software Engineer Intern

May 2020Aug 2020 · 3 mos · Remote

  • Core Compilers, worked on LLVM.

Twitter

Software Engineer Intern

May 2019Aug 2019 · 3 mos · San Francisco Bay Area

  • Language Tools

Cornell university

Teaching Assistant

Jan 2019May 2019 · 4 mos

  • CS 3110 - Data Structures and Functional Programming.
  • Helped in designing a new assignment that involved working with futures and monads in OCaml. Also assisted in office hours and helped grading exams

Cornell conference services

Summer Associate

May 2018Aug 2018 · 3 mos · New York, USA

  • Assisting with planning and coordination of conferences according to the needs of each specific group.
  • Preparing for and work at events including key management, check-ins, checkouts, catered functions, meetings, and presentations.
  • Serving as contact for conference facilitators and participants; provide necessary information pertaining to changes.
  • Ensuring conference data is entered and reconciled for accuracy during the billing process.

Education

Cornell University

Bachelor of Arts - BA — Computer Science

Jan 2017Jan 2021

Delhi Public School, Mathura Road

Science Stream

Jan 2003Jan 2017

Stackforce found 100+ more professionals with C++ & COQ

Explore similar profiles based on matching skills and experience