Job Description
A technology company in Australia seeks an Applied Formal Methods Researcher for remote work. The role involves translating informal mathematical proofs into Lean and collaborating on formal verification strategies. Candidates should possess a Master’s degree in Mathematics or a similar field, with ...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application