Postdoctoral Associate in Mathematics and Auto-Formalization at Cornell University Cornell University in United States

Sandia National Laboratories is advertising a Postdoctoral Appointee: Neural Networks, Onsite position in Albuquerque, New Mexico, United States . The role focuses on neural networks , neuromorphic computing , spiking neural networks , and artificial intelligence , with an emphasis on advancing the theory of brain-inspired algorithms and applying them to real-world problems. The selected postdoc will join an interdisciplinary team spanning computer science, mathematics, engineering, and neurosci...

Mercor is recruiting a Mathematics Research Collaborator for a part-time, remote role in the United States . This is a paid opportunity to work with a leading AI lab and help train next-generation AI systems on advanced mathematical reasoning. The work is centered on pure and applied mathematics , including areas such as number theory, algebra, algebraic geometry, topology, analysis, PDEs, probability, combinatorics, dynamical systems, logic, representation theory, mathematical physics, and adja...

North Carolina State University’s Hybrid Intelligent Experimental Robotics Laboratory (HIER Lab) is recruiting PhD students in Robotics , with a focus on humanoid/legged robotics , robot learning , embodied AI , foundation models , whole-body control , and AI/ML-based intelligent manipulation . The opening is at North Carolina State University in the United States . The post indicates that students will work on projects involving foundation models for humanoid robots and other robotics research ...

Postdoctoral researcher opening in the University of Virginia Department of Computer Science with Ferdinando Fioretto, Associate Professor and Copenhaver Fellow. The project focuses on physics-constrained foundation models for energy grids , with research directions including diffusion models , flow matching , graph neural networks , and discrete generative models . The goal is to generate diverse and explainable configurations while respecting operational and physical constraints. Strongly rele...

Lawrence Livermore National Laboratory is advertising a Machine Learning Postdoctoral Researcher position in Livermore, California, USA . The research focus is ML/AI safety , with emphasis on foundation models , large language models (LLMs) , and applications of these methods to science. This is a postdoctoral opening , not a scholarship. The post highlights a salary of $138,480/year plus relocation and education benefits . The role appears aimed at candidates with a recent PhD in ML, Computer S...