The Coq mailing list

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

I wrote to this list a while back to mention a new program that is 
hiring postdocs in the Qatar Computing Research Institute, who would 
also spend some time at MIT in the Boston area, USA.  I'm writing again 
just to mention that new postdoc positions remain available, with 
details here:
    https://postdoc.csail.mit.edu/searches/qcri-search/

The technical scope here is very broad, covering all of computer 
security.  Applications of Coq to security are definitely in scope, and 
there would be the potential for formal collaboration with my group in 
that area.  Let me know if you're interested.  Thanks!