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

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 looking for a Field Marketing Specialist to shape and communicate Formal's value proposition to our target market. The role involves developing and executing integrated field marketing plans, incorporating account-based marketing strategies and sales motions. · 3-5 years o ...

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

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

The STEAM Specialist will lead hands-on, project-based learning in science, technology, engineering, art and math. · ...

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

This is a challenging middle school STEM teaching position that requires differentiating instruction and creating an inclusive classroom environment. · B.A. degree and teaching credential requiredMiddle School Science teaching experience preferredPhysical Qualifications: regularl ...

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

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

The Community Specialist works directly with tenants of Rene Cazenave and Richardson Apartments who have severe mental illness and co-occurring disorders. · ...

Transforming how legal and professional services operate — not incrementally, but end-to-end. Transforming how critical knowledge work gets done for decades to come. · Own a full, high-volume support queue while consistently handling the most complex, high-impact or ambiguous cus ...

Transforming how legal and professional services operate — not incrementally, but end-to-end. · ...

A leading LiDar company is seeking a highly skilled Salesforce Administrator (SFDC) to lead the management, configuration, and governance of our Salesforce platform. · ...

This is a rare chance to help build a generational company at a true inflection point. With 1000+ customers in 58+ countries, strong product-market fit, and world-class investor support, we're scaling fast and defining a new category in real time. · ...

+Job summary · A leading LiDar company is seeking a highly skilled Salesforce Administrator (SFDC) to lead the management, configuration, and governance of our Salesforce platform.This pivotal role combines day-to-day platform administration with a specialized focus on public com ...

We believe advertising is no different than other technologies at Apple: it should add value to people's lives not extract from them. · ...