If you need more lookups,
subscriptions start at $34 USD/month.
Nitin Raj Location
Redwood City, CA, US
Nitin Raj Work
Research Engineer @ Forall R&D (October 2026 - Present)
Compiler Engineer @ (May 2024 - September 2026)
Compiler Engineer @ (May 2022 - October 2023)
Teaching Assistant @ (January 2022 - May 2022)
Teaching Assistant @ (August 2020 - May 2021)
Research Assistant @ (August 2019 - April 2020)
Teaching Assistant @ (August 2018 - December 2018)
Research Intern @ Microsoft Research India (May 2018 - July 2018)
Teaching Assistant @ (January 2018 - April 2018)
Nitin Raj Education
International Institute of Information Technology Hyderabad (IIITH)
Bachelor's degree (Computer Science)
2015-2019
National Public School, Koramangala 2013-2015
St. Joseph's Boys' High School, Bangalore
HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES
2004-2013
Nitin Raj Skills
Template Metaprogramming
Linux
Git
Web Development
JavaScript
Distributed Systems
Concurrent Programming
Information Flow
RISCV
Java
Object-Oriented Programming (OOP)
C (Programming Language)
Python (Programming Language)
C++
Scala
Compilers
LLVM
Functional Programming
Type Theory
Research
Program Verification
Dependent type theory
Formal Verification
Lean Proof Assistant
Proof Engineering
Nitin Raj Summary
Nitin Raj, based in Redwood City, CA, US, is currently a Research Engineer at Forall R&D. Nitin Raj brings experience from previous roles at Microsoft, SiFive and Purdue University. Nitin Raj holds a 2015 - 2019 Bachelor's degree in Computer Science @ International Institute of Information Technology Hyderabad (IIITH). With a robust skill set that includes Template Metaprogramming, Linux, Git, Web Development, JavaScript and more. Nitin Raj has 1 emails and 2 mobile phone numbers on RocketReach.
Looking for a different Nitin Raj?
Find contact details for 700 million professionals.