Anurag Dhyani

Senior Software Engineer

Delhi, India4 yrs experience

Most Likely To Switch

Key Highlights

Expert in Java and AWS for scalable solutions.
Experience in formal verification and synthesis.
Developed innovative drone image classification API.

Stackforce AI infers this person is a Backend-focused Software Engineer with expertise in SaaS and cloud technologies.

Contact

Skills

Core Skills

Formal VerificationJavaAwsFlask

Other Skills

Amazon DynamodbAnalyticsC (Programming Language)C++Computer VisionData AnalyticsData ScienceData StructuresDeep LearningDynamo DBEngineeringJava DevelopmentMachine LearningMicroservicesMicrosoft Office

About

Senior Software Engineer at Synopsys, working on Logical Equivalence Checking (LEC) with FM-ECO. Previously at Amazon, focused on Last Mile Delivery systems. Open to connect and chat - feel free to reach out! - Anurag

Experience

Synopsys inc

Senior Software Engineer

Jul 2023 – Present · 2 yrs 8 mos · Noida, Uttar Pradesh, India · On-site

Formal verification + Synthesis.

Formal verificationSynthesis

Amazon

Software Developer

Jan 2023 – Jun 2023 · 5 mos · Hyderabad, Telangana, India · On-site

Part of last mile delivery team, developing highly available and scalable services using java spring and amazon web services.
Worked on following technologies: Java, Spring, Microservices, AWS, Dynamo DB

JavaSpringMicroservicesAWSDynamo DB

Valuematrix.ai

Software Developer

Oct 2022 – Dec 2022 · 2 mos · Karnataka, India

AI driven candidate hiring platform.
https://www.valuematrix.ai/

Netaji subhas institute of technology

Teaching Assistant

Jan 2022 – Dec 2022 · 11 mos · Delhi, India

Worked as a teaching assistant for the machine learning course BTBID08 and mentored around 30+ students.
Solved good and stupid both doubts.

Imbuedesk ens pvt ltd

Full Stack Developer Intern

May 2021 – Jun 2021 · 1 mo · Hyderabad, Telangana, India

Created REST API’s using flask that combined 1000’s of Drone images, Stitched those images to a single Image Using OpenODM.
Deployed API and Deep Learning Model for Landcover Classification on AWS Ubuntu server using Nginx.
Classified Aerial drone Images for Tree plantation and other key details.
Made something that was not available on the internet at that time.

FlaskDeep LearningAWS