[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: TLA+ job: Principal Research Engineer (Formal Methods) at Huawei Ireland

That's a nice gesture :)

On Friday, 22 September 2023 at 15:09:28 UTC-3 Andrew Helwer wrote:
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

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/25ec7e0e-5be1-42d7-b9b6-71fb08602e1fn%40googlegroups.com.