Hey all, had a recruiter reach out to me about this job. I can't relocate to Ireland at the moment but sound really cool so maybe some of you would be interested:The job asks for experience writing formal specifications in languages like TLA+ or PlusCal. I don't think all the requirements (masters, published papers, etc.) are firm because they reached out to me who does not have those things, but who knows. They will sponsor & provide relocation assistance. Good luck!Andrew Helwer