Skip to main content
HimalayasHimalayas logo
amina zafarAZ
Open to opportunities

amina zafar

@aminazafar

Research Associate turning natural language into model-driven software.

Pakistan
Message

What I'm looking for

I’m looking for software engineering opportunities where I can apply model-driven development to turn requirements into verified systems, collaborate on innovative solutions, and keep strengthening my tooling and automation skills.

I’m a Research Associate with experience in Model-Driven and Research Engineering, with a strong focus on hands-on software modeling. In the HEC-MRED Project, I’ve worked on translating real-world requirements into modeling assets and verification-ready artifacts, using tools like Xtext, Ecore, Sirius, and Acceleo.

I built a Java Swing-based framework to convert natural language requirements into Xtext grammar using natural language processing techniques, and I used DeepSeek and ChatGPT to compare their differences against the same inputs. I also designed Ecore metamodels for IoT systems, developed an Xtext DSL for automotive systems, and implemented metamodel transformations into timed automata (Uppaal) and C for design-level verification alongside manual testing. I actively seek opportunities in software engineering to drive innovative solutions.

Experience

Work history, roles, and key accomplishments

HP

Research Associate

HEC-MRED Project

Jan 2024 - Aug 2025 (1 year 7 months)

Designed an Ecore metamodel for IoT systems, generated application-specific code with Acceleo, and created graphical models using Sirius. Developed an Xtext DSL for automotive systems, extended the metamodel in Enterprise Architect, generated code via Xtend, and performed XML parsing and content assistance in Java.

HP

Research Assistant

HEC-MRED Project

Feb 2023 - Dec 2023 (10 months)

Leveraged LaTeX and Grammarly to produce consistent, well-structured scholarly documents and conducted literature reviews on domain-specific tools for model-driven engineering. Built a Java Swing-based NLP framework to translate natural-language requirements into Xtext grammar and compared DeepSeek and ChatGPT for requirement understanding.

Education

Degrees, certifications, and relevant coursework

National University of Sciences and Technology logoNT

National University of Sciences and Technology

Master of Science in Software Engineering, Software Engineering

2021 - 2023

Grade: CGPA: 3.7/4.0

Completed a Master of Science in Software Engineering at NUST College of Electrical & Mechanical Engineering, graduating with a CGPA of 3.7/4.0.

UT

University of Engineering and Technology, Taxila

Bachelor of Science in Software Engineering, Software Engineering

2017 - 2021

Grade: CGPA: 3.33/4.0

Completed a Bachelor of Science in Software Engineering at UET Taxila, graduating with a CGPA of 3.33/4.0.

Tech stack

Software and tools used professionally

Find your dream job

Sign up now and join over 250,000+ remote workers who receive personalized job alerts, curated job matches, and more for free!

Sign up
Himalayas profile for an example user named Frankie Sullivan