The Coq mailing list

["Larry D. Lee jr." <llee454 AT gmail.com>]

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