Rumia Masburah

CEO

Bengaluru, Karnataka, India10 yrs experience

Most Likely To SwitchAI ML Practitioner

Key Highlights

Expert in Formal Verification and SystemVerilog.
Led projects in AI applications for smart microgrids.
Strong background in Machine Learning and CAD tool development.

Stackforce AI infers this person is a Formal Verification Engineer with expertise in AI and energy systems.

Contact

Skills

Core Skills

Formal VerificationMachine Learning

Other Skills

TCLSystemVerilog LanguageCAD Tool DevelopmentOpenModelica based Microgrid LibraryC (Programming Language)Python (Programming Language)LaTeXArtificial Intelligence (AI)C++MATLABFormal MethodsModel Checking tool and SAT solvers: zChaff, NuSMV, ApproxmcData ScienceHTMLXML

About

"A mind troubled by doubt cannot focus on the course to victory." Senior Engineer at Qualcomm

Experience

10 yrs

Total Experience

2 yrs 6 mos

Average Tenure

3 yrs 3 mos

Current Experience

Qualcomm

2 roles

Lead Senior Engineer

Promoted

Dec 2025 – Present · 4 mos · Bengaluru, Karnataka, India · On-site

Formal Verification Senior Engineer

Jan 2023 – Dec 2025 · 2 yrs 11 mos · Bengaluru, Karnataka, India · On-site

TCLSystemVerilog LanguageFormal Verification

Intel corporation

Formal verification engineer

May 2021 – Jan 2023 · 1 yr 8 mos · Bangalore Urban, Karnataka, India

TCLSystemVerilog LanguageFormal Verification

Indian institute of technology, kharagpur

2 roles

Teaching Assistant

Jul 2018 – May 2021 · 2 yrs 10 mos

For the following subjects:
1) Programming and Data Structure labs and theory class( for 3 semesters in a row)
2)Switching Circuits (for 1 semester)

M.S (Research Student) in Computer Science and Engineering Department

Jan 2018 – May 2021 · 3 yrs 4 mos

Specialization: Application of AI techniques in Cyber Physical Systems, Reinforcement Learning, MicroGrid and Building Energy Management System, Formal Methods

Iit kharagpur

Research Consultant

Aug 2017 – May 2021 · 3 yrs 9 mos

Project: A Software Tool for the Planning and the Design of The Smart MicroGrids.
Sponsor: MHRD and Ministry of power, Govt of India
Trained Skills : CAD Tool Development, Machine Learning, OpenModelica based Microgrid Library

CAD Tool DevelopmentMachine LearningOpenModelica based Microgrid Library

Accenture

Software Developer

Nov 2015 – Aug 2017 · 1 yr 9 mos · Bengaluru, Karnataka, India

Projects:
SAP CLM Project in client site (Hindustan Unilever) as a Developer upto Dec,2016.
Moonwalk Project(ABInBev) as SAP-ABAP Developer (Dec,2016-Aug,2017).