Mathematical Formalization Specialist - San Francisco
1 month ago

Job description
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.
Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.
Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Access all high-level positions and get the job of your dreams.
Similar jobs
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 ...
1 month ago
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 ...
1 month ago
+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. · ...
1 month ago
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 ...
3 weeks ago
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 ...
1 month ago
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 ...
1 week ago
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 ...
1 week ago
We're revolutionizing software development with AI-powered formal verification by providing mathematical guarantees of code correctness. · ...
2 weeks ago
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 ...
1 week ago
As our Field Marketing Specialist, you will play a crucial role in shaping and communicating Formal's value proposition to our target market. · ...
1 month ago
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 ...
1 day ago
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 ...
8 hours ago
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. ...
1 month ago
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 ...
2 days ago
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 ...
2 days ago
Live Oak School supports the potential and promise of each student. · ...
1 month ago
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 ...
2 days ago
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 ...
1 month ago
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 ...
2 weeks ago
The Community Specialist works with older adults who may be isolated, have mental health issues or other needs that are not being met. · ...
1 month ago