The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

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