Location: Austin, Texas, USA
Remote: only short jobs
Willing to relocate: yes
Technologies: economics, financial prediction (bonds, stocks, real estate), distributed algorithms, multi-threaded algorithms, linear algebra, formal proof, many languages (C,C++,Java,JavaScript,Coq,OCaML,…)
Résumé/CV: https://www.linkedin.com/in/michael-nahas-1012232
Email: hackernews@mike.nahasmail.com
Designer of .par2 file format.
Successful quantitative trader (saved company $20k per day). Employee #7 for successful startup. Been analyzing real estate data for YIMBY non-profit.
I take hard problems and find the right math tools to tame them, then write the code to make it work in production.