The Coq mailing list

[Ramana Kumar <Ramana.Kumar AT cl.cam.ac.uk>]

One job I came across that might be relevant is here: http://newton.newtonsoftware.com/career/JobIntroduction.action?id=8a37238f44f2240a0144f386084b133e

On Fri, May 23, 2014 at 1:22 PM, Adam Chlipala <adamc AT csail.mit.edu> wrote:

I have a feeling there are very, very few opportunities to be paid the current software-engineer market wage to do work with Coq.  Almost all use of proof assistants is in research in universities or other research labs.

I'd be very interested in seeing a master list of more traditional "jobs" oriented around Coq, though!

On 05/22/2014 09:48 AM, Larry D. Lee jr. wrote:

Hi Coq Club,

I'm a software developer with several years of professional experience using functional programming languages and over two years of experience studying and learning Coq. I'm currently looking for an opportunity to use Coq in a professional setting, either as an independent contractor or as a member of a larger team. I have a deep interest in Higher-order Type Theory, and a strong passion for Coq and what formally verified programming has to offer in terms of reliability and correctness. Does anyone have any advice about how I should go about taking my interest in Coq to the next level? My interests are in helping mathematicians encode/formalize proofs and in developing high-reliability software in scientific and mathematical contexts. Any advice would be appreciated.

Thanks,
- Larry