4 ms·
I have a PhD in programming languages; and I hire people with these backgrounds (compilers, PL, verification, synthesis). As others have said, if you've looked
by saurabh20n 7y ago
I have a PhD in programming languages; and I hire people with these backgrounds (compilers, PL, verification, synthesis). As others have said, if you've looked at LLVM, I'd find that interesting, but for practical use, there are more useful + interesting + fun things out there.
E.g. SMT solvers (CVC, Z3, or the like) -- infinitely more fun; and require experience to truly understand what works and what doesn't. Or if you've done something really novel with meta-programming or designed a custom DSL for a domain.
- 314 7y agoYour PhD is insanely impressive :) Ras' work on Program Sketching is stellar. Your new company looks very exciting. Hope your hiring goes well, it will be fun to see what kinds of verification you can do on smart contracts.
- saurabh20n 7y agoThanks for the very kind words. Email me directly / watch our blog. We'll be releasing some new results this week.
- 314 7y agoI've just followed @_syntheticminds on twitter. Looking forward to reading what you've been up to.