Saswat Padhi

Senior Software Engineer

Seattle, Washington, United States8 yrs 7 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

PhD specializing in program analysis and verification.
Expertise in software architecture and performance optimizations.
Experience with major tech companies like Google and AWS.

Stackforce AI infers this person is a Software Engineer with a focus on cloud infrastructure and performance optimization.

Contact

Skills

Core Skills

Operating SystemsVirtualizationPerformance AnalysisFormal VerificationProgram AnalysisMachine Learning AlgorithmsApplied Machine LearningProgramming Languages

Other Skills

LinuxSoftware InfrastructureContainersCompilersCode GenerationOCamlDockerStatistical LearningAmazon Web Services (AWS)RacketFormal MethodsC++Python (Programming Language)C (Programming Language)Reverse Engineering

About

• Systems generalist interested in software architecture and performance optimizations • Doctoral degree specializing in program analysis and verification • Industry work focused on various operating system components

Experience

8 yrs 7 mos

Total Experience

1 yr 8 mos

Average Tenure

3 yrs 7 mos

Current Experience

Google

2 roles

Senior Software Engineer

Sep 2025 – Present · 8 mos · Hybrid

Google Compute Engine (Google Cloud Platform)

Operating SystemsVirtualizationLinuxSoftware Infrastructure

Senior Software Engineer

Sep 2022 – Aug 2025 · 2 yrs 11 mos · Hybrid

Performance & Virtualization (ChromeOS & Android)

Operating SystemsVirtualizationPerformance AnalysisContainersSoftware InfrastructureApplied Machine Learning

Amazon web services (aws)

Applied Scientist II

Aug 2020 – Sep 2022 · 2 yrs 1 mo · Boston, Massachusetts, United States · Hybrid

Automated Reasoning Group (ARG)

Programming LanguagesFormal VerificationCompilersOperating SystemsCode GenerationProgram Analysis+1

Princeton university

Visiting Student Research Collaborator

Apr 2019 – Aug 2019 · 4 mos · Princeton, New Jersey

Research collaboration with the PL group: http://pl.cs.princeton.edu

OCamlFormal VerificationCode GenerationProgram Analysis

Microsoft

4 roles

Research Intern

Sep 2018 – Mar 2019 · 6 mos · Bangalore, India

Group: Systems (https://www.microsoft.com/en-us/research/group/systems/)

OCamlFormal VerificationMachine Learning AlgorithmsCode GenerationProgram AnalysisPerformance Analysis

Research Software Development Engineer

Nov 2017 – Jun 2018 · 7 mos

Group: RiSE (https://www.microsoft.com/en-us/research/group/research-in-software-engineering-rise/)

Applied Machine Learning

Research Intern

Jun 2017 – Oct 2017 · 4 mos

Group: RiSE (https://www.microsoft.com/en-us/research/group/research-in-software-engineering-rise/)

Applied Machine Learning

Software Engineering Intern

Jun 2016 – Dec 2016 · 6 mos · Redmond, Washington

Group: PROSE (https://microsoft.github.io/prose/)

Programming LanguagesCode Generation

University of california, los angeles

2 roles

Graduate Teaching Assistant

Apr 2016 – Jun 2016 · 2 mos

Course: Programming Languages

Programming Languages

Graduate Teaching Assistant

Oct 2014 – Dec 2014 · 2 mos

Course: Programming Languages

Indian institute of technology, bombay

2 roles

Undergraduate Teaching Assistant

Jan 2014 – Apr 2014 · 3 mos

Course: Abstractions and Paradigms in Programming (with associated lab)
Instructor: Amitabha Sanyal (https://www.researchgate.net/profile/Amitabha_Sanyal)