TLA+ job: Principal Research Engineer (Formal Methods) at Huawei Ireland

Andrew Helwer

unread,

Sep 22, 2023, 2:09:28 PM9/22/23

to tlaplus

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:

https://apply.workable.com/huawei-ireland/j/114E4C8A95/

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

Jones Martins

unread,

Sep 25, 2023, 12:31:47 PM9/25/23

to tlaplus

That's a nice gesture :)

Alex Porter

unread,

Sep 25, 2023, 2:02:44 PM9/25/23

to tla...@googlegroups.com

Almost makes me wish I had more than just one part of one bullet in the qualifications :(

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/25ec7e0e-5be1-42d7-b9b6-71fb08602e1fn%40googlegroups.com.

Reply all

Reply to author

Forward