Job Description

A leading technology company is seeking a Formal Verification Scientist skilled in rigorous proof construction and formal proof languages, especially Lean. The role involves translating informal proofs into precise formalizations, analyzing proofs for gaps, and collaborating on verification strategies. Ideal candidates will have a Master's degree in Mathematics or a related field, with hands-on Lean experience and a passion for formal verification. Competitive pay is offered along with flexible remote working arrangements.
#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr Corp. today.

Submit Application