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 (68)
jquery-plugin10
parser10
python10
encryption10
cheerio10
jquery10
django10
playing10
dom10
selector10
mongodb10
ssl10
decryption10
scraper10
orm10
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.