Mathematical Formalization Specialist - San Francisco

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages especially Lean. · We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization ...

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 de ...

+A leading AI partner is looking for Mathematical Formalization Specialist to join their remote team. · +Candidates should have a Master's degree in Mathematics or related field and strong background in rigorous proof construction and verification. · ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argumen ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. · This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argum ...

Who we are · At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactive ...

Who we are · At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactive ...

We're revolutionizing software development with AI-powered formal verification by providing mathematical guarantees of code correctness. · ...

About Formal · Formal is data security platform designed to help teams understand and control their data on autopilot. · We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to ...

As our Field Marketing Specialist, you will play a crucial role in shaping and communicating Formal's value proposition to our target market. · ...

Join a dedicated team as a Speech and Language Pathologist supporting students aged 5–22 with developmental disabilities, autism, and behavioral challenges. · Manage a caseload of 5–15 students, providing assessments, therapy sessions, and IEP collaboration. · Conduct formal and ...

Join a dedicated team as a Speech and Language Pathologist supporting students aged 5–22 with developmental disabilities, autism, and behavioral challenges. · Manage a caseload of 5–15 students, providing assessments, therapy sessions, and IEP collaboration. · Conduct formal and ...

This role offers cash compensation and a stock options grant. The positioning of offers within a certain range depends on various factors, including: candidate experience, qualifications, skills, business requirements and geographical location. ...

About Formal · Formal is data security platform designed to help teams understand and control their data on autopilot. · We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to ...

Description · Dates: June 8 – August 21, 2026 · Training Week: June 8–12 · Prep Period: May 11 – June 5 (up to 10 hrs/week) · Schedule: Monday–Friday, 8:15 AM – 4:30 PM · Pay Rate: $28–$30/hour · Position Overview: · The STEAM Specialist will lead hands-on, project-based learning ...

Live Oak School supports the potential and promise of each student. · ...

DescriptionTeaching a challenging course of study in a developmentally appropriate manner, with an emphasis on differentiating instruction · Following and developing existing science curriculum which includes engaging students in multiple modes of class activities including in-de ...

We are seeking a talented Color Specialist to join our team providing customers with flawless haircuts and hairstyles and helping them to look their best As a Colorist you will provide hair cuts using basic and advanced techniques You'll discuss the best products and hairstyles f ...

Firm Summary · White & Case is an elite global law firm serving leading companies, financial institutions and governments worldwide. Our long history as an international firm means we are perfectly placed to help our clients resolve their most complex legal challenges wherever th ...

The Community Specialist works with older adults who may be isolated, have mental health issues or other needs that are not being met. · ...