The Coq mailing list

[Joey Dodds <jdodds AT galois.com>]

Hello Coq Club, this is your bi-annual 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-protocol-support: A development for linear temporal logic proofs about communicating merkle trees

cryptol-semantics: An operational semantics for our Cryptol cryptography specification language

In general we are interested in those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, 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!

Joey