coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Pinku Surana <pinku.surana AT symbiont.io>
To: coq-club AT inria.fr
Subject: [Coq-Club] Job Opening at Symbiont in NYC
Date: Mon, 30 Oct 2017 13:28:58 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pinku.surana AT symbiont.io; spf=Pass smtp.mailfrom=pinku.surana AT symbiont.io; spf=None smtp.helo=postmaster AT mail-io0-f177.google.com
Ironport-phdr: 9a23:vHvTfxMfrtDKabcnQDMl6mtUPXoX/o7sNwtQ0KIMzox0K/r7rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZHQy6Pg5oLMz0HJTThoK5zbOc4ZrWNj1JgjmgKYhvNhywpE2FrsgQgpYkMbsrwx3AimBZfu5XwmV0Y1OUyUWvrvys9YJupnwD88kq8NRNBP33

Symbiont is developing a permissioned blockchain platform. Customers

can deploy and execute autonomous programs on a secure decentralized

network. It is imperative these programs are correct. Recent bugs in

Ethereum programs have resulted in millions of dollars in losses. Our

customers are eager to explore new technologies to minimize these

risks. We are developing a programming language and tool suite that

employ advances in type theory and formal verification.

We are actively looking for individuals with demonstrated experience

designing and implementing advanced type systems and/or formal

verification techniques. We are interested in exploring dependent and

refinement types, theorem provers like Z3 and Lean, and proof

assistants like Coq and Agda. Of course, we are open to exploring any

techniques to achieve our goal of helping developers write safer

programs. This is an opportunity to apply cutting-edge research ideas

to real-world problems.

Symbiont (http://www.symbiont.io) is a venture-backed startup in New

York City, USA. We prefer candidates in NYC, but have hired

exceptional candidates working remotely. For more information please

contact Pinku Surana (pinku.surana AT symbiont.io) and Evan Wagner