coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Galois is hiring (and we use Coq)

From: Joey Dodds <jdodds AT galois.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Galois is hiring (and we use Coq)
Date: Mon, 31 Oct 2016 18:05:08 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdodds AT galois.com; spf=Pass smtp.mailfrom=jdodds AT galois.com; spf=None smtp.helo=postmaster AT mail-vk0-f47.google.com
Ironport-phdr: 9a23:HGM21RcLZxgNDqFVCXRomRWZlGMj4u6mDksu8pMizoh2WeGdxc2zbR7h7PlgxGXEQZ/co6odzbGH6ea/CCdRvt7B6ClEK8McEUddyI0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx+z+7e25+oXSbgNUn3L9JOoqdFTl5TnW4+IRmMNJLrs7gk/CpWINcOBLz0tpI0iSllDy/JHj0oRk9nFyvP8wv+JHXanhN/A6QbtUAC8OPGkx48zw8xLESF3ctTMnTmwKn08QUED+5xbgU8K063Oiuw==

Hello Coq Club,

Galois is hiring! We're looking for researchers, principal investigators, software engineers, and project leads, including those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, or networking. In other words, if you understand 1/5th of the posts on this list, you are likely very qualified!

We currently have a few Coq experts on staff, and a number of projects that use Coq or Lean including our project to formally verify Guardtime, Bluespec verification using Chlipala et al's Kami, and projects from Free & Fair, our elections spin out.

For the exact available positions, please have a look at our web-site: http://galois.com/careers

We have two offices: one in Portland, OR, and one in Arlington, VA. There are positions available at both locations.

If you are interested, please send us your resume through the web site. I'm also happy to answer any questions you might have.

Joey

[Coq-Club] Galois is hiring (and we use Coq), Joey Dodds, 10/31/2016