Alex Shaindlin
Research Assistant at Tampere University
Tampere, Pirkanmaa, Finland
Summary
👤
Senior🎓
Top SchoolAlex Shaindlin is a research-oriented software engineer and M.Sc. candidate in Theoretical Computer Science at Tampere University with 12 years of hands-on experience building verified and safety-critical tooling. Currently contributing to an OpenSSL provider for post-quantum cryptography as part of the QUBIP project, Alex blends low-level cryptographic implementation work (binary field arithmetic for ECC) with formal methods expertise developed through Haskell and Coq projects. Past roles include developing dose-calculation and testing infrastructure for proton therapy at Penn Medicine and building a verified natural deduction proof checker during undergrad research. Comfortable across theory and systems, Alex studies type theory, category theory, and logic in his spare time and brings that mathematical rigor to practical secure-software engineering. Outside work he pursues strength training, sci‑fi, and meticulous crafts like knitting and sewing—hinting at a methodical, detail-oriented approach to engineering.
12 years of coding experience
3 years of employment as a software developer
Bachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at Drexel UniversityPasadena City CollegeComputer and Information Sciences, General, Computer and Information Sciences, General at Community College of Allegheny CountyMaster of Science (M.Sc.), Theoretical Computer Science, Master of Science (M.Sc.), Theoretical Computer Science at Tampere University
English, Finnish, French, German
Github Skills (55)
django10
playing10
encryption10
decryption9
cheerio9
ssl9
git9
jquery9
python9
crypto9
css9
parser9
scraper9
cryptography9
vue9
Programming languages (8)
Github contributions (5)
ashaindlin/ashaindlin.github.io
Feb 2016 - Jan 2023
Contributions:5 pushes, 1 branch in 7 years
ashaindlin/better-tms
Aug 2014 - Jun 2015
Contributions:18 commits, 1 push in 10 months
apidrexelparserscraperscraper-api
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.