Mojtaba Eshghie
Senior AI Solution Engineer at FDJ UNITED
Stockholm, Sweden
Summary
👤
Senior🎓
Top SchoolMojtaba Eshghie is a Senior AI Solution Engineer based in Stockholm with eight years of experience building production-grade AI systems and dependable software informed by a strong research background. He blends formal verification and software-engineering rigor from his PhD work on securing Ethereum smart contracts with practical ML and LLM expertise to deliver RAG, semantic search, and AI assistant solutions across AWS and Azure. His applied research includes neuro-symbolic detection of vulnerabilities and using LLMs guided by formal specifications to synthesize exploit benchmarks—an unusual combination that helps bridge adversarial testing and production safety. As a founder and former CTO he has shipped ML-driven health products and led end-to-end data and embedding pipelines, emphasizing observability, security, and reusable services. Mojtaba’s career shows a consistent focus on making implicit design assumptions explicit—whether via formal DCR graphs for contract logic or metadata enrichment for better retrieval—so teams can iterate from evaluation to reliable deployment.
8 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at KTH Royal Institute of TechnologyWinter School, Computer Science, Winter School, Computer Science at IT-Universitetet i KøbenhavnMaster's degree, Information Technology Engineering, Master's degree, Information Technology Engineering at University of Tehran
Persian, Swedish, English
Stackoverflow
21reputation
0reached
1answer
0questions
Github Skills (60)
solidity10
contract10
verification10
dapps-development10
ethereum10
blockchain10
smart-contracts10
cpp10
analyzer9
vulnerability9
programming-language9
static-analysis9
vyper9
invariants9
condition9
Programming languages (8)
Github contributions (5)
mojtaba-eshghie/HighGuard
Nov 2022 - Dec 2024
The runtime monitoring tool for smart contracts business logic.
Contributions:129 PRs, 196 pushes, 22 branches in 2 years 1 month
runtimespecificationsruntime-verificationsmart-contractsverification
mojtaba-eshghie/Dynamit
Dec 2020 - May 2022
Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning by @mojtaba-eshghie
Contributions:1 release, 44 commits, 6 PRs in 1 year 5 months
gethethereumreinforcement-learningblockchainvulnerability-detection
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.