A technology firm is seeking an Entry-level Applied Formal Methods Researcher for remote work, offering a competitive pay range of $70-150/hr. The role focuses on translating informal mathematical proofs into precise, machine-verifiable formalizations. Candidates should have a Master's degree in a related field and experience with proof languages, especially Lean. This position allows for flexible hours and potential for contract extension, perfect for those passionate about formal verification and mechanized mathematics.
#J-18808-Ljbffr