coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: David MENTRE <dmentre AT linux-france.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] professional advice for a young Coq developer
Date: Fri, 23 May 2014 16:40:29 +0200

Hello,

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.

Sincerely yours,
david

[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