Formal Methods Postdoctoral Researcher - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States
Communications of the ACM
June 2023
Teaching Data Science Research Methods to Human Resources Practitioners Part 4
05.31.2023We believe programming experience is crucial for human resources practitioners in the data and tech era.
Navigating the 2023 Cybersecurity Landscape
05.31.2023The importance of information security technologies cannot be overstated, given how deeply integrated gadgets have become in our lives.
Education is Always Changing: We Need to Define CS to Keep the Good Stuff
05.28.2023Hype and fashion cycles drive education change. Let's protect the good stuff.
Quantum Computers are All 'Terrible' — But Researchers Aren't Worried
05.31.2023Even the scientists who have made quantum computers their life's …
See Why AI Like ChatGPT Has Gotten So Good, So Fast
05.31.2023We asked three AI systems to generate content using the …
Everyone Wants to Regulate AI. No One Can Agree How
05.31.2023U.S. lawmakers and CEOs alike say new rules are needed …
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
Experienced Nonlinear Analysis Engineer - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States
Lecturer/Senior Lecturer - Auburn University - Auburn, AL
Auburn, AL, United States
Teaching-Track Faculty Position in Computing and Software - McMaster University - Hamilton, Canada
Hamilton, ON, Canada