[TYPES/announce] Stripe is hiring type systems and language tooling engineers

[Dmitry Petrashko]

Hi colleagues,

My team is looking for Type system and tooling engineers to join our
awesome team at @stripe
https://stripe.com/jobs/positions/type-system-and-tooling-engineer

They’ll be helping scale language & tooling for it at a company that values
productivity, great engineers and managers.
Project is fast, has gradual typesystem with generics, control-flow
dependent typing and is written in C++ & Ruby. Intended to be open-sourced
one day.
Prior C++ or Ruby experience is a boon but isn't strictly required.

Would appreciate if you spread the word if you know good locations to post
this.

Thank you,

Dmitry Petrashko,
Developer Productivity @ Stripe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181022/c43caf50/attachment.html>