The Coq mailing list

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

I'd like to announce a new postdoctoral program that is joint between 
the Qatar Computing Research Institute and MIT:
    https://postdoc.csail.mit.edu/searches/qcri-search/
The focus is on cybersecurity, and participants would spend about 75% of 
their time in Qatar and 25% at MIT.

Applications of Coq to security are in scope, and I'd be glad to hear 
from anyone who might be interested in applying to the program to 
potentially collaborate with my students and me.