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

hiring Software Verification Engineer w/ TLA+ in Cupertino, California

From: marsha...@xxxxxxx
Date: Mon, 19 Nov 2018 15:37:55 -0800 (PST)

PlusAI, self-driving truck start-up in Cupertino, California is hiring a Software Engineer with TLA+ experience. Prefer local candidates, but will consider relocating the right candidate.

Some details on PlusAI
- Raised over 150M in series A funding from GSR Ventures and Sequoia Capital.
- Experienced Founders with 5 successful startups between them
- Partnerships with leading trucking and logistics partners in China

If interested, please email your Resume to me along with some days/times when you're available for a quick chat.

Marshall Choi
Recruiter | PlusAI
marsha...@xxxxxxx
www.plus.ai

Prev by Date: Re: [tlaplus] building tlaplus from source fails
Next by Date: Re: [tlaplus] The effect of symmetry sets on TLC performance
Previous by thread: Re: [tlaplus] building tlaplus from source fails
Next by thread: \in works, while \subseteq gives a “identifier undefined” error
Index(es):
- Date
- Thread