Applied Formal Methods Researcher (Lean 4)
Alignerr is seeking an Applied Formal Methods Researcher to formalize complex mathematical proofs for AI reasoning development. The role focuses on translating informal proofs into Lean 4 and improving verification pipelines. Candidates must have advanced degrees in mathematics or logic and hands-on experience with proof assistants. This is a fully remote, flexible contract-based opportunity.
50k new jobs listed every day. Install TAL to find more jobs like this.
Experience
Experience not specified
Function
Research
Work mode
Remote, unknown
Company
Tier 2
What you will work on
Alignerr is seeking an Applied Formal Methods Researcher to formalize complex mathematical proofs for AI reasoning development. The role focuses on translating informal proofs into Lean 4 and improving verification pipelines. Candidates must have advanced degrees in mathematics or logic and hands-on experience with proof assistants. This is a fully remote, flexible contract-based opportunity.
TAL's take
Specialized research role in formal verification, but classified as a contract/freelance position which limits long-term growth/impact signal.
Very clear objective: formalize mathematical proofs using Lean 4 for AI evaluation.
Must haves
- Master's degree or higher in Mathematics, Logic, or Theoretical Computer Science
- Strong foundation in rigorous proof writing
- Hands-on experience with Lean 4, Coq, Isabelle/HOL, or Agda
- Ability to translate informal mathematical arguments into structured formal proofs
Tools and skills
Nice to have: type theory, curry-howard correspondence, mathlib.
About the company
Unfamiliar company, default mid-tier.
Posts mentioning Alignerr
Teeth aligners recommendations
I an 27 and I know I’m late to this, but yes. I wanted a teeth aligners i’m clear that I’ll go with clear aligners and not the traditional braces. I know only two brands that offer this, invisalign and toothsi. These brands cost a lot. I wanted some recommendations and experience with the brand (service, quality) you guys have used.
Has anyone tried whistle aligners ?
Does invisible teeth aligners work or is it just a marketing hoax ???
I'm thinking of opting for any brand of invisible teeth aligners, but also being the overthinker i watched youtube where there are good results and many videos saying different, so I'm confused about opting for one and which brand too??? What do you all suggest?