The Coq mailing list

[Joey Dodds <jdodds AT galois.com>]

Hello Coq Club, this a reminder that Galois is hiring

We're looking for researchers, principal investigators, software engineers, project leads, and interns.

We do proof assistant work, although not all the time. Here are a few examples of recent work using proof assistants:

lean-llvm: LLVM support for the Lean prover

lean-protocol-support: A development for linear temporal logic proofs about communicating merkle trees (done with intern participation)

cryptol-semantics: An operational semantics for our Cryptol cryptography specification language (done by an intern)

Also just yesterday we announced our ElectionGuard project, which will be using some Coq specs 

In general we are interested in those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, hardware, or networking.  

We have offices in Arlington VA, Dayton OH, and Portland OR with positions available at all locations.  For more info or to submit your resume, please see our website: http://galois.com/careers.  

Please contact me if you have any questions, or just to let me know you're applying!