Hi! Long story short, 'math' department is basically only theoretical physicists. My supervisor was one of the few pure mathematicians there, and I was the only pure math student in the whole program. I felt pretty isolated and wasn't able to pursue work in the areas I wanted to, so I'm leaving the program to go back to tech. Looking for non-FAANG Tier 1 companies, better if hiring folks to work in functional languages (haskell, lisps, etc), *best* if hiring folks to work in dependently typed langauges (Idris, Agda, Lean, etc) or for formal verification stuff, so I could do some theorem proving. Thanks for your time! Edit: I read it over and I sounded kind of entitled. Definitely open to referrals to any positions, really! 3 YOE as SWE+ML Scientist v strong python3 Leaving Ph.D. in differential geometry at school in EU US citizen 230+ LC TC <30K (stipend) Looking for referral to: (1) fintech (e.g. #JaneStreet, #HRT, #Citadel, #DEShaw, #twosigma, etc.) (2) non-fintech (e.g. #cloudflare, #airbnb, #dropbox, #slack, #spotify, #block, #twitter, #snap, #stripe)
DM for indeed if interested. We are hiring
World Conflicts
10h
362
Why I Find Free Palestine Inspiring
Health & Wellness
Yesterday
991
Lasik cost
World Conflicts
10h
424
Is "From the River to the Sea" So Wrong?
India
13h
571
'Hindutva': The Radical Hindu Ideology That Seeks to 'Push Christianity Out of India’
Tech Industry
4d
27695
Can I slack off as E9 at Meta?
Don’t bother with (2). Just go full mode quant funds.
What makes you say this?