The Coq mailing list

[Bas Spitters <b.a.w.spitters AT gmail.com>]

This may be of some use:

https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry

On Fri, May 23, 2014 at 4:43 PM, Adam Chlipala 
<adamc AT csail.mit.edu>
 wrote:
> 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?