AI Research Scientist: Theorem Proving & Autoformalization
Pramaana Labs
Pramaana Labs in Palo Alto seeks a Research Scientist for the AI Team. You will own experiments end-to-end from idea to training runs, debugging, evaluation, and documenting results. This hands-on role emphasizes model training, reasoning, and formalization within a frontier AI lab. We value depth over pedigree and prioritize individuals who can build and ship advanced provers and solvers, with rigorous verification and a bias toward outcomes and perseverance. #J-18808-Ljbffr Pramaana Labs
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the AI Research Scientist: Theorem Proving & Autoformalization in Palo Alto, CA vacancy
$176k - $253.5k
Los Altos, CAHuman-Centered AI - Human-Centered AI /Full-time /HybridAt Toyota Research Institute (TRI), we’re on a mission to improve the quality of human life... ...The Opportunity We are looking for an AI Research Scientist or Senior AI Scientist with expertise in large-scale...SuggestedFull timeTemporary workLocal areaShift work- ...goes unused because of patient privacy concerns. We’ve found a way to unlock that data—safely and ethically—for AI labs, pharma companies, and researchers. This isn’t a chatbot, or an AI agent replacing clinicians or automating paperwork. It’s core infrastructure that...SuggestedInternshipNight shift
GenMD
Palo Alto, CA2 days ago - ...touchpoint with the healthcare system—driving over $300B in avoidable costs every year. About The Role We’re looking for an AI Research Scientist to advance the methodological frontier of AI in healthcare. This role is ideal for someone who has demonstrated strong research...SuggestedTemporary workWork at officeMonday to FridayMonday to ThursdayFlexible hours
Sprinter Health
Menlo Park, CA1 day ago - A pioneering start-up in AI and biology is seeking a skilled researcher to conduct cutting-edge AI and computational biology research. You will improve existing models, design experiments, and analyze complex datasets. The ideal candidate should be an M.S. or Ph.D. student...SuggestedInternship
- GenBio AI is developing AI-driven approaches to decode biology and accelerate drug discovery. The role focuses on AI research for structural biology, leading computational discovery campaigns, and translating findings into practical outcomes. Collaboration with external...Suggested
- Google DeepMind in Mountain View, CA seeks a Research Scientist for Gemini Audio i18n to advance multilingual audio models. You will design large-scale experiments, prototype architectures, and evaluate A2A speech systems across languages. You will publish findings and...
- Google Research in Mountain View, CA is seeking a Research Scientist to advance foundation models and multimodal technologies. You will design experiments, prototype... ...worldwide, contributing to safety, alignment, and responsible AI initiatives. #J-18808-Ljbffr Socket.devWorldwide
- Google DeepMind seeks a Research Scientist to advance the factuality of the Gemini model family and bridge research with production. You will design... ...with global teams, you will contribute to high-impact AI initiatives while advancing safety and ethics within a pioneering...
- ...professional for the Technology Engineering Group in Palo Alto, California. This role involves advancing multimodal large models through research and development. The ideal candidate will have a Bachelor's degree in Computer Science or related fields, with hands-on experience...Relocation package
- ...on improving and extending deep learning and LLM-based models through research and implementation. Ideal candidates are currently enrolled in an MS/PhD program in fields such as Computer Science or AI, have a strong foundation in machine learning, and possess hands-on...Internship
- Salesforce AI Research is seeking outstanding AI Research Scientists and Research Engineers to discover new research problems, develop novel models, and translate breakthrough ideas into practical solutions used by millions of users. You will design, train, evaluate, and...
- Google is seeking a Research Scientist to join its Cloud AI Research team in Mountain View. You will set up large-scale tests, deploy ideas quickly, and manage deadlines while applying the latest theories to develop new products and technologies. You will publish findings...
- Toyota Research Institute (TRI) seeks an AI Research Scientist or Senior AI Scientist to advance foundational models, fine‑tuning, evaluation, and benchmarking. The role sits at the intersection of social science and generative AI, building models that reflect how beliefs...
- Genbio in Palo Alto is looking for an AI researcher to advance the field of structural biology. In this role, you will lead computational efforts and collaborate closely with scientific partners to drive innovation. The ideal candidate holds a PhD and has a proven research...
- Google Cloud AI Research is seeking a Senior Research Scientist to lead and implement research agendas, deploy ideas, and publish findings across real-world applications. You will design experiments, prototype architectures, and scale tests within AI research domains,...
- Google Cloud AI Research is seeking a Research Scientist to drive large-scale experiments, deploy ideas, and publish findings that advance AI across products and platforms. You will collaborate with internal teams and external partners, shaping research agendas and infrastructure...
- A leading AI research company is seeking a Research Scientist focused on enhancing safety and fairness in AI models. Responsibilities include tuning state-of-the-art LLMs and developing evaluation protocols. The ideal candidate will hold a PhD in Computer Science and have...
- Rhoda AI is seeking a Research Scientist or Research Engineer in Mountain View, California, to enhance model efficiency for our intelligent robots. This role involves implementing model compression techniques and developing architectures for real-time applications. Ideal...
$117.2k - $313.7k
100 Salesforce, Inc. is looking for AI Research Scientists/Engineers in Palo Alto to create impactful AI solutions. The ideal candidate has a strong educational background in Computer Science and experience in large-scale AI product development. Responsibilities include...$175k - $250k
Metamorphic is seeking a Research Scientist in Palo Alto to advance learning algorithms and models for neuro-aligned embodied agents. You will... ...behaviors. Join a world-class team focused on groundbreaking AI research, with opportunities for significant autonomy and collaboration...Visa sponsorship$108k - $128.14k
Stanford Institute for Human-Centered Artificial Intelligence (HAI) is seeking a Research Scientist to maintain and enhance the Global AI Vibrancy Tool and support the AI Index report. You will monitor new research, validate data, and write technical sections of the report...Full timeFixed term contract$126k - $248k
MongoDB is looking for a Senior Research Scientist to join the Voyage AI team in Palo Alto, California. In this role, you will conduct groundbreaking research in AI, particularly in developing advanced embedding models and next-generation information retrieval systems....$230k - $270k
Samsung SDS America AI Science Lab is researching the next generation of intelligent robotic systems that perceive, reason, learn, and act in the... ...-world environments. We are looking for an AI Research Scientist, Robotics & Embodied AI to join our team and help advance...Full timeTemporary workWorldwideFlexible hours$209.5k - $283.5k
...opportunity to prosper. We never stop working to find new, innovative ways to make that possible.Job OverviewIntuit is hiring a Staff AI Research Scientist to join the Intuit Foresight team.In its intrapreneurial function, the Foresight team at Intuit develops and incubates...Work experience placementWorldwide$230k - $270k
...in real time and from observation alone, is an open research frontier. Our lab researches the AI systems that make robot fleets trustworthy in production... ...extends to dexterous manipulation. The work that proves out in the lab has a path to pilot deployment in real...Contract workTemporary workWorldwideFlexible hours- ...autonomous vehicle technology company in Mountain View is seeking a World Model Research Scientist. The successful candidate will design and train generative models, requiring expertise in AI and robotics. Responsibilities include developing techniques for realistic...
$168k - $252k
Google is seeking a talented developer to join the Pixel team focused on innovative speech and language technologies. The role involves designing and developing advanced speech algorithms using Digital Signal Processing and Machine Learning techniques. The ideal candidate...Full time- A leading AI research lab in Mountain View is seeking innovative candidates who thrive in uncertainty and possess strong technical backgrounds, particularly in machine learning and natural language processing. Applicants should demonstrate experience with foundational AI...
$200k - $300k
A leading financial technology firm in California is looking for AI Research Scientists and Engineers to advance their AI capabilities. You will focus on post-training SOTA LLMs and work with multiple specialized teams. Applicants should have experience in large-scale...- LVIS Corporation, headquartered in Palo Alto, CA, is seeking a highly skilled AI/ML researcher or engineer with a PhD and extensive experience in time-series analysis and signal processing. You will apply Python-based frameworks (PyTorch, SciPy, NumPy) to develop and validate...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to AI Research Scientist: Theorem Proving & Autoformalization. Be the first to apply!
Related searches
- ai data scientist Palo Alto, CA
- ai scientist Palo Alto, CA
- molecular biology scientist Palo Alto, CA
- water quality scientist Palo Alto, CA
- machine learning scientist Palo Alto, CA
- scientist antibody discovery Palo Alto, CA
- image scientist Palo Alto, CA
- machine learning research scientist Palo Alto, CA
- materials scientist Palo Alto, CA
- health scientist Palo Alto, CA