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 (57)
solidity10
vulnerability10
verification10
vulnerability-detection10
ethereum10
blockchain10
smart-contracts10
cpp10
abstract-syntax-tree9
programming-language9
static-analysis9
invariants9
machine-learning9
rewrite-rules9
classification8
Programming languages (9)
Github contributions (5)
mojtaba-eshghie/SoliDiffy
Jul 2024 - Sep 2025
SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts
Contributions:13 PRs, 458 pushes, 4 branches in 1 year 1 month
smart-contractssolidityabstract-syntax-treeastcode-analysis-tool
mojtaba-eshghie/Dynamit
Dec 2020 - May 2022
Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning
Contributions:1 release, 44 commits, 6 PRs in 1 year 5 months
ethereummachine-learningsmart-contractsvulnerability-detectiongeth
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.