Hi, Here is the situation: I've received a letter from my uni saying I cannot continue my studies there. I love the theory of programming languages and I've been studying on the side books about type theory, compilers, programming languages, category theory, topos and proofs (TAPL and Software foundations form B. Pierce, Introduction to category theory by Harold Simmons, papers on DOT/scala)

I would like to pursue this route into PLT but I lack the formalism that a university can teach me. On the other hand, I don't want to start again in a new university as I would see it as a huge waste of time and would like to focus in what I enjoy.

My plan is to find a job as a compiler engineer while studying on the side and contributing to open source programming languages. But I have a hard time finding job offers in compiler engineering. Offers in my area are sparse and job offers I find rarely accept remote (I live in Switzerland)

In conclusion my questions are: - how do you get a job in compiler engineering? who is hiring? and if it's unjustifiable to hire a junior like me, how do I get the necessary experience to be employable? - Is there a better way to do it? Am I missing something? If you were to get in the field completely differently, how would you do it?