Formal Methods Postdoctoral Researcher - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States
Communications of the ACM
June 2023
ChatGPT is Not a Technological Singularity
06.05.2023It will take many years before generative artificial intelligence has a measurable effect on the economy as a whole.
What Does AI-Powered Microsoft Bing Say?
06.05.2023The answers from the AI-powered Microsoft Bing are often useless.
Probabilistic AI That Knows How Well It's Working
06.06.2023A new technique produces artificial intelligence (AI) inference algorithms that …
Robot Centipedes Go for a Walk
06.06.2023Engineers have created a centipede-like walking robot that can navigate …
An Algorithm for Sharper Protein Films
06.06.2023Researchers have created an algorithm to more precisely analyze ultra-fast …
Should Robots Have Rights or Rites?
A Confucian cross-cultural exploration of the ethical treatment of robots.
Using Algorithms to Deliver Disaster Aid
Ensuring the billions of dollars governments send the disaster-stricken actually get to their intended destinations.
Featured Jobs
R&D Engineer - Scientific Computing - Composites/Multiscale (m/f/d) - Hybrid - Ansys 2 - Zurich, Switzerland
Zurich, , Switzerland
Computational Solid Mechanics Code Developer - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States
Weapons Production Group Senior Quality Engineer - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States