Fully Funded PhD in Reservoir Simulation, AI, and Geomechanics at University of Wyoming University of Wyoming 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...

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

MERL (Mitsubishi Electric Research Laboratories) in Cambridge, Massachusetts, USA is hiring a Postdoctoral Research Fellow in AI for Science . This opportunity is aimed at researchers working at the intersection of computer science , mathematics , statistics , and scientific applications. The post highlights research directions such as hypothesis formation , automated discovery , sequential experiment design , theorem proving , algorithm discovery , differentiable simulation , and scientific fou...

Pennsylvania State University is advertising a Quantum Frontiers Postdoctoral Scholar position in the College of Information Sciences and Technology (IST), based in State College, Pennsylvania, United States . This specific opening is the Quantum + Security track, designed to advance research at the intersection of quantum computing, cybersecurity, secure systems, trustworthy AI, cryptography, and quantum networking . The postdoctoral scholar will work on interdisciplinary topics such as securit...

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