Aman Sharma Haritas

Senior Software Engineer

Noida, Uttar Pradesh, India3 yrs 9 mos experience
Highly Stable

Key Highlights

  • Expert in Embedded Software and Formal Verification.
  • Proficient in C/C++ for static analysis tools.
  • Strong foundation in Data Science and Algorithms.
Stackforce AI infers this person is a Semiconductor Software Engineer with expertise in Embedded Systems and Formal Verification.

Contact

Skills

Core Skills

Embedded SoftwareFormal Verification

Other Skills

AlgorithmsCC++Data ScienceData StructuresDjangoLinuxMultithreadingObject-Oriented Programming (OOP)Python (Programming Language)SVASystem on a Chip (SoC)SystemVerilog

About

.

Experience

Synopsys inc

2 roles

Senior Software Engineer

Promoted

Jan 2024Jun 2025 · 1 yr 5 mos · Noida, Uttar Pradesh, India

  • VC SpyGlass tool - static analysis
  • (CDC - Clock Domain Crossing Team)
  • tech stack - C/C++
CC++Embedded SoftwareFormal Verification

Software Engineer

Jan 2022Dec 2023 · 1 yr 11 mos · Noida, Uttar Pradesh, India

Interra systems

Software Engineer

Jul 2021Dec 2021 · 5 mos

Education

National Institute of Technology, Kurukshetra, Haryana

Bachelor of Technology — Information Technology

Jan 2017Jan 2021

Stackforce found 100+ more professionals with Embedded Software & Formal Verification

Explore similar profiles based on matching skills and experience