Lean Proof Architect for Formal Verification

A technology firm specializing in AI is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into formal proofs using Lean and other proof systems. Candidates should possess a Master’s degree or higher in Mathematics or a related field, along with hands-on experience in rigorous proof writing and formal verification....

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation. Role...

Mathematical Formalization Specialist - Remote Join to apply for the Mathematical Formalization Specialist - Remote role at Alignerr . 1 day ago - Be among the first 25 applicants. Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model...

Candidate requirements These are the minimum requirements a candidate must meet to be considered for this role. Knowledge of blockchain and blockchain culture. Strong interpersonal skills. Ability to learn new technologies and concepts to cope with the fast developments in the blockchain space. High problem solving skills, including the ability to listen to...

A leading asset management firm in Hong Kong seeks a Senior Business Process Architect to drive process improvements and AI readiness. The role involves defining strategies, mentoring a team, and enhancing workflows. Ideal candidates have over 10 years in Financial Services and Lean Six Sigma certifications. A bachelor's degree is required, a master's...

Senior Business Process Architect (f / m / d) Join us. Let’s care for tomorrow. At Allianz Global Investors we foster a culture of professionalism, fulfilment, and an inclusive working environment. Do you want to be part of a leading active asset management company? Then join us now! We are seeking a meticulous and creative Senior Business Process...

Overview Join to apply for the Solution Architect role at TransUnion . TransUnion is a Force for Good. We are actively hiring, let's stay connected! Responsibilities Design, build, and integrate information systems to align with business needs and strategic goals. Analyze current and emerging technologies, both internal and external, to identify...

Hybrid, Full Time, Part Time, Permanent, Contract, Freelance | 3 - 30 Years | Mid-Senior level Job Responsibilities: Work closely with the analog IP design team, responsible for front-end digital circuit design and verification. Responsible for RTL design and related verification tasks, including RTL coding, RTL sign-off, and verification. Manage RTL to...

At TransUnion, we strive to build an environment where our associates are in the driver’s seat of their professional development, while having access to help along the way. We encourage everyone to pursue passions and take ownership of their careers. With the support of colleagues and mentors, our associates are given the tools needed to get where they...

At TransUnion, we strive to build an environment where our associates are in the driver’s seat of their professional development, while having access to help along the way. We encourage everyone to pursue passions and take ownership of their careers. With the support of colleagues and mentors, our associates are given the tools needed to get where they...