Jai Arora

Product Engineer

Urbana, Illinois, United States4 yrs 8 mos experience
Most Likely To Switch

Key Highlights

  • Strong foundation in programming languages and compilers.
  • Experience in formal verification and research.
  • Internship experience at renowned organizations.
Stackforce AI infers this person is a proficient candidate in software engineering and research within academic and tech environments.

Contact

Skills

Other Skills

C (Programming Language)C++CompilersFormal VerificationJavaOCamlProgramming LanguagesPython (Programming Language)Research

Experience

University of illinois urbana-champaign

Graduate Research Assistant

Aug 2023Present · 2 yrs 7 mos · Urbana-Champaign Area · On-site

Nirvana insurance

Software Engineering Intern

Aug 2022Mar 2023 · 7 mos

Adobe

Research Intern

Jun 2022Jul 2022 · 1 mo

Nirvana insurance

Software Engineering Intern

Dec 2021May 2022 · 5 mos

Max planck institute for software systems

Undergraduate Research Fellow

May 2021Aug 2021 · 3 mos

  • Floating-Point Verification

National service scheme, iitd

2 roles

Secretary

Jul 2020Jun 2021 · 11 mos

Executive

May 2019Jun 2020 · 1 yr 1 mo

Nus computing

Undergraduate Research Intern

May 2020Jul 2020 · 2 mos

  • Computer Networks

Board for student welfare (bsw), iit delhi

Academic Mentor

Jul 2019Nov 2019 · 4 mos

  • Academic Mentor for CML100

Education

University of Illinois Urbana-Champaign

Doctor of Philosophy - PhD — Computer Science

Aug 2023May 2028

Indian Institute of Technology, Delhi

BTech + MTech — Computer Science

Jan 2018Jan 2023

Max Planck Society

CMMRS'22 Pre-doctoral Research school

Aug 2022Aug 2022

Delhi Public School, Rewari

Apr 2004Mar 2018

Stackforce found 100+ more professionals with C (Programming Language) & C++

Explore similar profiles based on matching skills and experience