Remote Lean Formalization Specialist
$50 - $150 per hourAlignerr
San Francisco, CA
- Remote job
A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification. #J-18808-Ljbffr Alignerr
Vacancy posted 5 days ago
Similar jobs that could be interesting for youBased on the Remote Lean Formalization Specialist in San Francisco, CA vacancy
$50 - $150 per hour
...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience...Remote workHourly payOngoing contractContract workFreelanceFlexible hoursAlignerr
United States4 days ago- ...Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical expertise could directly... ...simply cannot yet solve on their own. This is a fully remote, flexible contract role built for mathematicians who are passionate...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
Seattle, WA5 days ago - Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape... ...problems in AI development today. This is a fully remote, flexible contract role working alongside leading AI research...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
Chicago, IL5 days ago - ...seeking independent alteration professionals specializing in prom and special event dresses. You will perform alterations on various formal clothing, including prom dresses and wedding gowns, ensuring high-quality craftsmanship. The role offers flexibility to accept jobs...Remote job
- Construct-X is seeking an AWP & Lean Specialist in Houston, Texas. The role involves providing strategic consulting and managing the implementation... ...skills, and proficiency with construction technologies. This remote position may require travel for client site visits and team...Remote job
- ...is seeking a skilled Process Improvement Specialist to enhance the efficiency of Navy Medicine... ...Process Improvement initiatives using Lean Six Sigma methodologies. This is a hybrid... ...Church, VA, allowing for a combination of remote and in-office work. Applicants must have...Remote workWork at office
- ...Process Specialist and LEAN Expert We are seeking an experienced Process Specialist & LEAN Expert to join our team and drive operational excellence across the organization. In this role, you will be responsible for documenting, analyzing, and optimizing business processes...Remote workWork experience placement
Morson Talent
United States4 days ago - A leading AI research partner is seeking a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience...Remote jobFlexible hours
- Alignerr is seeking a mathematician to formalize advanced mathematical arguments within Lean 4. This fully remote role involves contributing to large-scale proof libraries like mathlib and requires a Master's degree or PhD in Mathematics. Candidates should be detail-oriented...Remote job
- A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating... ...on verification strategies. This is a fully remote position with competitive hourly compensation and flexible...Remote jobHourly pay10 hours per weekFlexible hours
- A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs... ...position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting...Remote jobHourly payFlexible hours
- ...Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deepest mathematical expertise could directly shape how AI understands... ...express, capture, and automate. This is a fully remote, flexible contract role for mathematicians who love...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
Chicago, IL5 days ago - ...a skilled Process Improvement Specialist with a Black Belt certification... ...methodologies such as Lean Six Sigma (LSS) and Get Real Get... ...for a blend of in-office and remote work. This position requires... ...quantitative analyses. Create formal reports detailing current processes...Remote workContract workWork at officeWork from home
- The Practice Readiness Specialist conducts on-site workflow assessments... ...and quality oversight to the remote documentation team Ensure no critical... ...a plus. Familiarity with Lean, Six Sigma, or similar process improvement frameworks. Formal certification is not required....Remote workWork at officeWork from homeHome office
- ...Robotic Solutions Specialist At Robotiq, we free human hands from repetitive tasks. Guided by our Lean Robotics methodology, we develop collaborative robot solutions and... ...and any custom engineering work. Build formal quotation presentations for customers. Scope...Remote workWork at officeLocal areaFlexible hours
Robotiq
United States4 days ago - Broughton Group is seeking a skilled Process Improvement Specialist with a Black Belt certification to enhance efficiency within Navy Medicine... .... This hybrid position allows for a blend of in-office and remote work in Atlanta, Georgia. The role entails driving Continuous...Remote workWork at office
$95 - $105 per hour
Title: Strategy & Execution Specialist Job Type: Contract (W2 Only) Contract... ...hr Start Date: ASAP Location: Remote (PST Business Hours) About the... ...on SQL and dashboard skills. Formal design‑thinking or process re‑... ...(IDEO, Stanford d.school, Lean Six Sigma, or equivalent...Remote workContract workFor contractorsImmediate start- Arbitration Specialist The Arbitration Specialist is responsible for analyzing claims eligible for arbitration and reviewing, analyzing and... ...job responsibilities is required. Perks & Benefits Fully Remote - Work from anywhere within the United States with reliable high...Remote workWork at office
$100 - $123 per hour
...JOB TITLE: Strategy & Execution Specialist LOCATION: Remote (Pacific Time) DURATION: 3 Months PAY... ...stakeholders at the VP and SVP level Formal design-thinking or process re-... ...experience (IDEO, Stanford d.school, Lean Six Sigma, or equivalent applied methodology...Remote workHourly payFull timeContract workUrsus Inc
United States1 day ago- ...Sr Executive Escalations Specialist ATI is looking for a Sr Executive... ...Specialist for our remote client. The Sr. Executive Escalations... ...may be considered in lieu of formal education. Minimum of 7 years... ...Demonstrated knowledge in Lean and process improvement methodologies...Remote workWork from homeHome office
- ...Job Overview The Lean Specialist will focus on continuous improvement efforts for the site, including being responsible for the ongoing... ...of waste reduction (i.e., LEAN) initiatives through formal Continuous Improvement (Kaizen) Events. Driving a LEAN culture...Hourly pay
Hubbell Incorporated
Lincoln, NH2 days ago - ...Electrophysiologist on the device and its place in the patient's total treatment plan. Also, applies and interprets monitoring via telephone, remote telemetry or in the office as ordered by the Cardiologist or Electrophysiologist for patients undergoing diagnostic testing of...Remote workPermanent employmentFull timeTemporary workWork at officeShift work
Prisma Health
Maryville, TN14 days ago - ...perform the essential functions of this position. Education/formal training/licensure/certification/experience: • Health Information... ...Ability to remain productively focused and non-distracted in a remote work setting. Working Conditions • Primary in-home...Remote workWork at officeWork from homeHome office
FirstHealth of the Carolinas
United States1 day ago - ...programming and relationship-building. There is a possibility of one remote day a week based on programming needs. ESSENTIAL FUNCTIONS... ...~5+ years of experience working with children aged 0-8 years in formal or informal educational settings; with the younger age range of...Remote workTemporary workWork at officeLocal areaWork from homeFlexible hoursAfternoon shift1 day per week
Bay Area Discovery Museum
Sausalito, CAa month ago - ...Description The Early Intervention Developmental Specialist's (DS) primary responsibility is to plan and implement special instruction... ...are completed in the child's natural environment by formal and informal methods and conducted with parents or guardians to...Remote workWork from home
Franklin County Board of Developmental Disabilities
United States2 days ago - ...Alterations is seeking independent alteration professionals specializing in formalwear. In this role, you will alter suits, tuxedos, and formal dresses while managing fittings and precise measurements. Ideal candidates will have experience in formalwear alterations and a...Remote jobLocal areaWork from homeFlexible hours
$60 - $90 per hour
...Orientation & Mobility Specialist – Contractor The Orientation & Mobility (O&M) Specialist... ...This position has no formal supervisory responsibilities. Minimum... ...travel to provide face-to-face services and remote administrative work from a professional...Remote workContract workFor contractorsFixed term contractLocal areaWork from homeHome officeStride
United States4 days ago- Thimble Alterations is seeking independent alteration professionals specializing in prom and formal event dresses. Your role will involve altering various garments, ensuring high quality, and maintaining an organized workspace. The ideal candidates will have experience...Remote jobLocal areaWork from home
- ...looking for independent alteration professionals specializing in prom and special event dresses. The role includes altering various formal garments and conducting fittings, ensuring high-quality finishes, and maintaining an organized workspace. Candidates must have...Remote jobFor contractorsLocal areaWork from home
$26 - $29 per hour
Carrington is seeking a Sr Dispute Correspondence Specialist to work remotely from home. This role involves managing Qualified Written Requests, handling disputes from borrowers, and composing formal written responses. The successful candidate must have professional writing...Remote jobHourly payWork from home
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean Formalization Specialist. Be the first to apply!
Related searches
- senior program specialist San Francisco, CA
- order processing specialist San Francisco, CA
- correspondence specialist San Francisco, CA
- instructional systems specialist San Francisco, CA
- student specialist San Francisco, CA
- associate specialist San Francisco, CA
- youth engagement specialist San Francisco, CA
- leave specialist San Francisco, CA
- promotions specialist San Francisco, CA
- enterprise solutions specialist San Francisco, CA