Ask HN: Transition from back end to programming language research

Is it realistic to look for transitioning into research in programming language theory for someone who's has done mostly backend but has a PhD in math related field, without passing through Academia?