Hey, where can I apply to a job like yours? I may not be smart enough, but I may be. And I am very interested in formal verification.