coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Summer Internship Opportunity at Hardware startup SiFive

From: Murali Vijayaraghavan <vmurali AT csail.mit.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Summer Internship Opportunity at Hardware startup SiFive
Date: Wed, 24 Jan 2018 09:27:29 -0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vmurali AT csail.mit.edu; spf=Pass smtp.mailfrom=vmurali AT csail.mit.edu; spf=None smtp.helo=postmaster AT outgoing-stata.csail.mit.edu
Ironport-phdr: 9a23:VQ1piRzlclJmDQ/XCy+O+j09IxM/srCxBDY+r6Qd2+gRIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHohikJNCM3/n/LhcFrlq1XvAisqgZjz4LIYoyYMud1cKPHfdMdQGpMRsFfVzFbAoyma4sPDvcKMulZr4n/vVQPrQGxBRO2C+Pgyj9HnGH20rc80+88FgzGwgkgH88UsHvOqNX1NbwfXvyuzKbSzDXDa+la2TL86IjUaBwuv+yDXa9pfMfX1EIhGQTFjlCKpozkOTOYzuANvHaF7+V+T+KjkXIoqwZprji0x8cshIjJhpwLxVze6Sp5x4M1KcW9SE56fd6oCoVfuDyHN4ZwX8gsQHlotT4nxrEYupO3ZiYHxIg9yxLBcfCLbZWE7g77WOqPPTt1gGhpdbG/ihqo70Ss1+zxWtOp3FtIrSdIlMTHuGoX2BzJ8MeHT+Nw/ke/1jaL0ADe8uZEIV0olarULJ4hw7gwlpUKvUTYAi/5gln2g7WMeko44ein8eXnYrH8qp+ZNo90lhvyPbozlcyiGeg4Mw4OUHaH+emkybHv4070TK9Eg/EqiKXVrorWKdoGqqKlGwNV15ws6xe7DzeoytQYmnwHIUpbeBKCkojpIUvBIPT5Dfqkn1usiy1kx/HCPrH7B5XNL2TDnK3/crlg9k5Q0BAzwsxH55JIFrEBJ+r+VVP2tNzBFxM2Lwi0w/v8B9hmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7hngg3FQZYKOB3J0NaXn+EO41DV+eZC/Jn80IFWZCgAs8Rf3jklSNUTdNbnD6C7w5+ysyDIOOBpzKR4Trhb2dmiq3A8sFNSh9FlmQHCKwJM2/UPAWZXfKe54zonk/TbGkDrQZ+1SrvQ7+xaBgK7OJqCYDvJPnkt10+6vemQxgrGUoXfTY6HmESiRPpk1NXyU/hf0tqld0y1PF1KlkxfFUCI4Lvq4bYkIBLZfZitdCJZXyVwbGJY/bT0u6TdKnBz50Vc4439ZIaF10GtHkixHfmSemHu1Nmg==

Dear Coq-clubbers

SiFive is a hardware startup that is investing heavily in formal verification methods based on Coq. In particular, we are using Kami (http://plv.csail.mit.edu/kami) to verify some of our designs. We are looking for summer interns who are proficient in proving using Coq (and potentially other tools for formal hardware verification). Here's the direct link for applying:

https://jobs.lever.co/sifive/e32a5e87-554c-453b-b4bb-47da8a937028

Feel free to shoot me an email if you are interested and want to know more (either vmurali AT csail.mit.edu or vmurali AT sifive.com).

To know more about our startup, you can take a look at www.sifive.com.

Thanks

Murali

[Coq-Club] Summer Internship Opportunity at Hardware startup SiFive, Murali Vijayaraghavan, 01/24/2018