theorem

**Company Description** Theorem is a global digital marketing solutions company pioneering flexible, full-service support for some of the world’s most successful brands. Headquartered in Chatham, New Jersey, the company operates across New York, San Francisco, Sydney, London, India, and the Dominican Republic, serving clients throughout APAC, EMEA, and...

• Role Title: Mathematics AI Trainer (Remote) • Role Type: Part-time • Location: Remote Role Overview. 1. In this role, you will work on projects that improve and evaluate large language models by applying advanced mathematical reasoning, problem-solving, computational thinking, and clear written communication. 2. The ideal candidate should have a...

About us - Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterprise AI: systems capable of understanding complex knowledge, reasoning across information, executing multi-step workflows, and taking action with the verifiability and reliability...

About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract...

About us - Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterprise AI: systems capable of understanding complex knowledge, reasoning across information, executing multi-step workflows, and taking action with the verifiability and reliability...

About us - Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterprise AI: systems capable of understanding complex knowledge, reasoning across information, executing multi-step workflows, and taking action with the verifiability and reliability...

SDE 3 Backend Experience Range: 7 to 14 years Must-Have Technical Skills (Backend): • Strong foundations in Data Structures & Algorithms, including time and memory complexity analysis. • Deep expertise in Core Java: OOPs, Polymorphism, Multithreading, Executor Service, Synchronization, Locks, Semaphores. • Hands-on experience with Functional...

About The Role What if your deep mathematical training could directly shape how AI reasons about truth, proof, and knowledge? We're looking for Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean proofs — working at the very frontier of what proof assistants can express, capture, and automate. This is a...

About The Role What if your deep mathematical training could directly shape how AI reasons, proves, and understands the most complex ideas in human knowledge? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — helping map the frontier of what machines can verify, and building the foundation for the...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematics into machine-verifiable Lean 4 proofs — working at the intersection of rigorous mathematics and cutting-edge AI research. This is a fully remote,...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can verify, understand, and learn? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical...

Description We are seeking a skilled Formal Verification Engineer to join our team in India. The ideal candidate will have substantial experience in formal verification of hardware and software systems, with a focus on ensuring the correctness of designs through rigorous analysis and verification methodologies. Responsibilities Develop formal verification...

Overview Working at AtlassianAtlassians can choose where they work – whether in an office, from home, or a combination of the two. That way, Atlassians have more control over supporting their family, personal goals, and other priorities. We can hire people in any country where we have a legal entity. Interviews and onboarding are conducted...

About ADA ADA is the Data and AI Experience Company. We work with global enterprises to build data and AI powered experiences where every decision runs on real-time intelligence and every interaction earns trust. That's how businesses scale, stay ahead, and deliver measurable outcomes. Our mission is ambitious: to create the world’s most intelligent...

About ADA ADA is the Data and AI Experience Company. We work with global enterprises to build data and AI powered experiences where every decision runs on real-time intelligence and every interaction earns trust. That's how businesses scale, stay ahead, and deliver measurable outcomes. Our mission is ambitious: to create the world’s most intelligent...

About The Role Mathematics can either be a student’s favorite subject or their biggest anxiety. We are looking for an inspiring Mathematics teacher who can remove math phobia, make algebra and geometry engaging, and build unwavering confidence in Class 9th and 10th students preparing for CBSE board examinations. What You’ll Work On • Deliver...

Job Role: Audio DSP Engineer Job Location: Bangalore Notice Period: Immediate to 30 days Mandatory Skills: C, C++, Audio DSP, Filter Design Who we are: At UST, we help the world’s best organizations grow and succeed through transformation. Bringing together the right talent, tools, and ideas, we work with our client to co-create lasting change. Together,...

Summary: About the RoleYou'll be a core individual contributor on the Fault Management team, building near-real-time streaming pipelines and intelligent fault-processing capabilities within our AIOps platform. You own module delivery end-to-end — from low-level design through production support — and work with platform architects and PMs to ship...

SummaryThe Resident Medical Officer (RMO) serves as a vital clinical asset within the hospital setting, bringing four to five years of specialized experience to ensure high-quality patient care. This role demands a professional capable of navigating complex medical scenarios with precision, utilizing advanced problem-solving and logical reasoning to address...

**Summary:** About the Role You'll be a core individual contributor on the Fault Management team, building near-real-time streaming pipelines and intelligent fault-processing capabilities within our AIOps platform. You own module delivery end-to-end — from low-level design through production support — and work with platform architects and PMs to...