[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
