add remark about formal verification in job description
add remark about formal verification in job description

legalese-io/legalese-io.github.io,legalese-io/legalese-io.github.io,legalese-io/legalese-io.github.io,legalese-io/legalese-io.github.io