Mastodon Feed
Boosted by taral ("JP Sugarbroad"):
mwillsey@discuss.systems ("Max Willsey") wrote:
A bit late for this, but might as well:
**I am recruiting PhD students this year**
I am looking for students with strengths in some subset of compilers, databases, e-graphs, SMT solvers, theorem proving, and logic programming. You definitely don't have to have mastery of all those things (I don't!), but there's a lot of fun work to do in the intersection.