Looking for a job

Raeesa Mukhtar

@raeesamukhtar

Research Engineer researching formal verification of Polygon’s StakeManager contract with C# models and PAT Model Checker.

Pakistan

Message

What I'm looking for

I'm seeking a remote Research Engineer position where I can contribute to advanced software and technology projects.

At COMSATS University Islamabad, Sahiwal Campus, I researched formal verification techniques for blockchain-based systems in my MS thesis on Polygon’s StakeManager contract. I developed C# formal models for Proof-of-Stake staking and validator management.

Using the PAT Model Checker, I verified safety, liveness, fairness, and deadlock-freedom. I also analyzed blockchain architecture and documented my findings using LaTeX.

At Kidssentials, where I work remotely, I design social media graphics and promotional materials and create campaign content. I manage website content using WordPress and perform on-page SEO with Rank Math.

Experience

Work history, roles, and key accomplishments

Current

Graphic Designer & SEO Executive

Current

Kidssentials

Jan 2024 - Present (2 years 9 months)

Designed social media graphics and promotional materials, managed website content using WordPress, and performed on-page SEO using Rank Math. Collaborated remotely with an international team to improve website visibility and digital engagement.

Graphic Design Social Media WordPress Rank Math Digital Content Remote Collaboration