coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] professional advice for a young Coq developer

From: Adam Chlipala <adamc AT csail.mit.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] professional advice for a young Coq developer
Date: Fri, 23 May 2014 10:43:45 -0400

On 05/23/2014 10:40 AM, David MENTRE wrote:

Le 23/05/2014 14:22, Adam Chlipala a écrit :

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

As far as I know, companies like Gemalto and Trusted Labs use Coq daily for their products.

And how is a random person meant to learn more about the details? If I spent a little time poking around their web sites, would I get a good sense?

[Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
- Re: [Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
  - Re: [Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
    - Re: [Coq-Club] latest Coq trunk breaks some things, Matthieu Sozeau, 05/07/2014
      - Re: [Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
      - Message not available
        
        [Coq-Club] professional advice for a young Coq developer, Larry D. Lee jr., 05/22/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, Adam Chlipala, 05/23/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, Ramana Kumar, 05/23/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, David MENTRE, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Adam Chlipala, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Bas Spitters, 05/23/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, David MENTRE, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Adam Chlipala, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Jonathan, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Pierre Neron, 05/23/2014
        RE: [Coq-Club] professional advice for a young Coq developer, Nguyen Quang-Huy, 05/25/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, Daniel Schepler, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Bas Spitters, 05/23/2014
        
        [Coq-Club] Coq and Computer Algebra System, David MENTRÉ, 05/23/2014
        Re: [Coq-Club] Coq and Computer Algebra System, Catalin Hritcu, 05/23/2014