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

LinkedIn

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 2024 – Jun 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 2022 – Dec 2023 · 1 yr 11 mos · Noida, Uttar Pradesh, India

Interra systems

Software Engineer

Jul 2021 – Dec 2021 · 5 mos

Education

National Institute of Technology, Kurukshetra, Haryana

Bachelor of Technology — Information Technology

Jan 2017 – Jan 2021

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

Explore similar profiles based on matching skills and experience

Sandeep Shukla

Sandeep Shukla

Director

at International Institute of Information Technology Hyderabad (IIITH)

Hyderabad, India38 yrs 4 mos exp
Nishant Singh

Nishant Singh

Digital Verification Engineer G2

at NXP Semiconductors

Jaunpur, India9 yrs 10 mos exp
ManagementPlacement ServicesProgram Coordination
Jai Arora

Jai Arora

Graduate Research Assistant

at University of Illinois Urbana-Champaign

Urbana, United States4 yrs 8 mos exp
Akhil Vemula

Akhil Vemula

Senior Member Of Technical Staff

at Salesforce

Bengaluru, India6 yrs 10 mos exp
Augmented RealityFrontend DevelopmentJavaPythonSpring Boot
Souymodip Chakraborty

Souymodip Chakraborty

Sr. Computer Scientist II

at Adobe

Bengaluru, India14 yrs 1 mo exp
Computer VisionArtificial Intelligence (AI)
MR

MANJUKESHWAR REDDY

Director

at Bilva

Hyderabad, India8 yrs 1 mo exp
RC

Riya Chauhan

Process Associate

at SunTec India

Delhi, India2 yrs 3 mos exp
Harish Singh

Harish Singh

Director of Software Engineering

at GroundTruth

Delhi, India19 yrs 6 mos exp
Systems DesignEngineering ManagementSoftware DevelopmentPeople Management