S y e d a F a r wa N a q v i

Mobile #: +923**-*******

Email: aczpi8@r.postjobfree.com

P r o f e s s i o n a l

E x p e r i e n c e

Professional Services Consultant. Teradata, Karachi, Pakistan. 23rd June 2014 – Present Sourcing and development of Enterprise Data warehouse for reporting by developing scripts using Teradata utilities. Developing/maintaining all data warehouse design documents like the business rules document, source system matrix, etc. along with development of ETL routines using different ETL Tools. Internship. Software Analysis and Verification Lab (SAVE), SEECS, NUST. June – August, 2013 Seven week internship. Looked into the formal verification of Surgical robots, focusing on the research by Andre Platzer, “Certifying the Safe Design of a Virtual Fixture Control Algorithm for a Surgical Robot”. The system was then proved using PRISM Modeling language. Research. An Event-B Model of the Landing Gear System. October 2013 – Present Event-B model for Airplane Landing Gear System modeled and specified using Event-B. Research paper to be submitted to a conference.

P r o j e c t s

Teradata: Data Mover (backup) in Bank Alfalah Limited. Development of scripts for Data backup from one Teradata Machine to another using Teradata Data Mover. Teradata: Customer Profitability Report in United Bank Limited. Sourcing and development of Enterprise Data warehouse from multiple Source Systems (Symbols, etc.) onto Teradata Financial system logical data model. Later Customer Profitability was calculated using Teradata Value Analyzer. Teradata: Credit Card Sourcing in Bank Alfalah Limited: CardPro 5 System. Sourcing and development of Enterprise Data warehouse for CardPro 5 system onto Teradata Financial system logical data model. Develop script through Teradata Utilities. Created an ETL workflow on SSIS, used as scheduler in the project. Customer support on ETL issues that arise on daily basis. Unit Testing ETL scripts. UAT Testing. KPI Query Development

Teradata: Interactive Voice Response (IVR) Application for Allied Bank Asset Management. Final Year Project: Evaluating the Effectiveness of Rodin Animators for Consistency Checking. Animators in Event-B were analyzed and improved

C e r t i f i c a t e s Teradata 14 Certified Professional Teradata 14 SQL

AWS Certified Developer Associate

T r a i n i n g s

Teradata Value Analyzer

Teradata Global Control Framework

Hadoop Factory

Teradata Utilities Logical Data Modeling

Web and Graphics Designing Short Course

Internet Marketing and Search Engine

Methodologies Workshop

E d u c a t i o n BE Software Engineering. National University of Sciences & Technology, Islamabad S k i l l s

Programming: C/C++/C#, JAVA, OpenMP, MPJ Express, Shell Scripting and Assembly language Web development and designing: JAVA, HTML, CSS and Adobe Dreamweaver Software Engineering: Agile, spiral and incremental methodologies Software verification using Hol, Event-B and Prism Database design and development in MySQL, Oracle, Teradata SQL and MS Access. ETL Tools: Microsoft SSIS, Teradata Global Control Framework Big Data: Hadoop

Others: Teradata Data Mover, CronTab

Strong Communication and Organizational Skills

Aw a r d s MU ALPHA THETA AWARD- for the most challenging, thorough, and creative investigation of the darts game using mathematical proof.

O t h e r s

Manager Teradata Entertainment Team Karachi

Executive Member IAESTE NUST SEECS and ACM NUST SEECS Sports House President 2014, NUST SEECS

Head Organizing Team – SOS Summer Camp by Family Educational Services Foundation (FESF) Head of Volunteer Team – Benefit Concerts by Family Educational Services Foundation (FESF) R e f e r e n c e s Available on request.

Contact this candidate