PhD Openings in MLSys, High-Performance Data Reduction for AI, and Heterogeneous Distributed AI Infrastructure at Stevens Institute of Technology Stevens Institute of Technology in United States

Cornell University’s Department of Mathematics is inviting applications for a Postdoctoral Associate focused on mathematics , auto-formalization , and proof assistants such as Lean . The position centers on developing and administering a benchmark for auto-formalization of mathematics, contributing to a benchmarking dataset, organizing and quality-checking contributed data, building tools to support data creation, and supporting the Math+AI laboratory. This is a research-oriented postdoctoral ro...

Oak Ridge National Laboratory (ORNL) is recruiting a Postdoctoral Research Associate in the Workflow Systems Group within the Computer Science and Mathematics Division . The role focuses on computer science , high performance computing (HPC) , machine learning , artificial intelligence , data management , and workflow management , with an emphasis on making scientific data AI-ready at scale. The successful candidate will work with ORNL scientists and engineers and may leverage the Frontier super...

Oak Ridge National Laboratory (ORNL), through the Analytics and AI Methods at Scale (AAIMS) group at the National Center of Computational Science (NCCS), is recruiting a Postdoctoral Research Associate in HPC and AI . This opportunity sits at the intersection of high-performance computing , artificial intelligence , natural language processing , and AI for Science . The research themes include large-scale AI model development, instruction tuning, human-in-the-loop reinforcement learning, privacy...

Postdoctoral Research in AI/ML for Engineering Applications at the University of Texas San Antonio (UTSA), United States. This postdoctoral opening is in NASA-funded research at the Institute of Scientific Research of Air Pollution, focusing on AI, Machine Learning, Large Language Models (LLMs), and Scientific Machine Learning for engineering applications. Relevant study areas include Computer Science, Mechanical Engineering, Aerospace Engineering, and related fields. Strong programming skills i...

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