Lucien Iseli
Senior Software Engineer II at SwissBorg
Switzerland
Summary
👤
Senior🎓
Top SchoolLucien Iseli is a Senior Software Engineer II based in Switzerland with 8 years of experience building high-reliability, low-latency trading systems for both traditional and on-chain exchanges. At SwissBorg he’s driven core OMS improvements—scaling throughput, connecting to blockchain liquidity, and implementing multi-currency orders—that directly increased markets, volume and revenue while reducing operational costs and trade errors. He blends a business-first approach with deep algorithmic instincts and an academic background in data science and reinforcement learning, enabling pragmatic redesigns of execution logic and risk controls. Comfortable in Scala, Rust and Python on Linux, he also has formal verification and genomics ML research experience, reflecting a rare mix of production engineering and research-driven rigor.
7 years of coding experience
5 years of employment as a software developer
Master of Science - MS, Data Science, Master of Science - MS, Data Science at EPFL
French, English, German
Github Skills (56)
tlaplus10
verification10
spotify-api10
model-checking10
leon10
z310
cvc410
smt10
proof-assistant9
scala9
formal-methods9
coq9
daemon9
spotify9
protobuf8
Programming languages (8)
Github contributions (5)
Gorzen/stainless
Feb 2019 - Sep 2019
Verification framework for higher-order functional programs
Contributions:162 pushes, 21 branches, 2 comments in 6 months
incrementalfunctional-programmingcontrol-flowsmtsat-solver
Gorzen/.files
May 2019 - Jan 2020
Contributions:181 commits, 56 pushes in 8 months
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.