A technology company has an opening for a Formal Verification Scientist to work remotely. The role requires a Master’s degree in a related field and deep experience with formal proofs, especially using Lean. You will translate informal arguments into formalizations and collaborate on verification strategies. The position offers competitive pay, flexible hours, and the opportunity to work on advanced AI projects in a dynamic team environment. #J-18808-Ljbffr