4 proof-checking-postdoc-computer-science-logic Fellowship research jobs at Lawrence Berkeley National Laboratory

Autonomous Material Processing Postdoctoral Fellow

Lawrence Berkeley National Laboratory | Berkeley, California | United States | about 3 hours ago

conferences. Contribute to proposal development and future research directions aligned with PRISM objectives. We are looking for: Ph.D. in Mineral Engineering, Chemical Engineering, Materials Engineering, or

NESAP for Machine Learning Postdoctoral Fellow

Lawrence Berkeley National Laboratory | Berkeley, California | United States | about 2 months ago

Science Acceleration Program (NESAP ). You will join a multidisciplinary team building AI-driven scientific workflows for the upcoming Doudna supercomputer. Doudna will deliver over 10x the performance

Quantum Experimentalist Postdoctoral Fellow

Lawrence Berkeley National Laboratory | Berkeley, California | United States | 3 months ago

Mathematics Computational Research Division (AMCR) has an immediate opening in the Quantum Information Science and Technology Group (QuIST) for a Quantum Experimentalist Postdoctoral Fellow under the programs

Applied Artificial Intelligence & Autonomous Systems Postdoctoral Fellow

Lawrence Berkeley National Laboratory | Berkeley, California | United States | 2 months ago

Computer Science, Electrical Engineering, Mechanical Engineering, Robotics, or a closely related field, with a strong research background in AI, reinforcement learning, and multi-agent systems. Demonstrated