DeepSpec
 
The Science of Deep Specification

(no openings at present)