Amazon is seeking Ph.D. students working in automated reasoning, formal methods, and formal verification for its 2027 Applied Science Internship program.

The internships provide an opportunity for doctoral students to work alongside Amazon scientists on research applying automated reasoning to large-scale, real-world computing systems. Areas of application include cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems.

CPS-IoT Week 2027 Seeks Workshop, Tutorial and Competition Proposals

Proposal Deadline: November 5, 2026

Organizers of CPS-IoT Week 2027 are inviting proposals for workshops, tutorials, and competitions to be held in conjunction with the conference week, scheduled for May 17–20, 2027, in Boulder, Colorado.

Call for Papers: CPS-IoT Week 2027

Submission Deadline: November 5, 2026

The research community is invited to submit papers for CPS-IoT Week 2027, which will be held May 17–20, 2027, in Boulder, Colorado.

CPS-IoT Week is a leading international venue bringing together researchers and practitioners working across cyber-physical systems, the Internet of Things, embedded and real-time systems, autonomous systems, sensing, artificial intelligence, control, and related areas.

The Nineteenth NASA Formal Methods Symposium

May 11-13 2027 
University of Houston Clear Lake, Houston, Texas, USA

Call for Papers

NFM 2027 is currently accepting submissions in several categories. Regular papers may present fully developed research and complete results, while short-paper categories include papers describing novel publicly available tools and case studies documenting applications of formal methods to real systems with publicly available artifacts.
Important submission dates include:

Securing the 2026 FIFA World Cup required coordinating an enormous network of people, technologies, facilities, and public-safety organizations across multiple cities and jurisdictions. The U.S. Department of Homeland Security's Science and Technology Directorate (DHS S&T) supported that effort by helping security personnel evaluate and employ technologies designed to protect spectators, venues, and surrounding communities during one of the world's largest sporting events.

The National Security Agency (NSA), Federal Bureau of Investigation (FBI), and partner organizations have released new joint cybersecurity guidance to help network defenders identify and protect against Gunra ransomware, an emerging ransomware-as-a-service operation targeting organizations across the United States and around the world.