ERSA'25

4th International Workshop on Explainability of Real-time Systems and their Analysis (ERSA 2025) at the IEEE Real-Time Systems Symposium (RTSS 2025) in Boston, MA, USA. Today, almost all verification techniques provide answers to questions but do not provide explanations. We will address that.

SEAMS 2026

SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of safe, performant, and cost-effective self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection.

Position Opening: Experimental Quantum Science at Princeton University

Position Opening: Experimental Quantum Science at Princeton University

The Princeton Quantum Initiative (PQI) and the Department of Physics at Princeton University seek applications for a tenure-track assistant professor faculty position in experimental quantum science. Candidates in all areas of experimental quantum science, including quantum information processing, sensing, computing, and networks, who research different experimental platforms, are encouraged to apply. 

Submitted by Regan Williams on

New Edition: The Next Wave, Vol. 26, No. 1, 2025

New Edition: The Next Wave, Vol. 26, No. 1, 2025

Artificial Intelligence (AI) has garnered significant attention in recent years, but its roots extend deep into the past. Fundamental AI concepts emerged in the 1950s, with the first neural network constructed from vacuum tubes in 1951 and the concept of training models from data defined in 1958.

Submitted by Regan Williams on

Former ONCD official urges defense industrial base to integrate formal methods to ensure software cyber resilience

Former ONCD official urges defense industrial base to integrate formal methods to ensure software cyber resilience

Former Office of the National Cyber Director official Anjana Rajan said the defense industrial base should move toward integrating formal methods to prove software is secure from cyber vulnerabilities, as the Defense Department and other agencies look to prioritize efficiencies.

Submitted by Regan Williams on

NSA SoS Internship Open for Applications for Summer 2026

NSA SoS Internship Open for Applications for Summer 2026

The NSA's Summer Intern Program is currently accepting applications for students to come work at the agency next summer. 

In addition to many others, the Science of Security program is accepting applications during this call. 

The acceptance period is condensed significantly this year (1 September- 14 September)

Details may be found at the link below: 

Submitted by Adam Tagert on

Countering China State-Sponsored Actors Targeting Critical Infrastructure Organizations

Countering China State-Sponsored Actors Targeting Critical Infrastructure Organizations

The National Security Agency (NSA) and other U.S. and foreign organizations are releasing a joint Cybersecurity Advisory to expose advanced persistent threat (APT) actors sponsored by the Chinese government targeting telecommunications, government, transportation, lodging, and military infrastructure networks globally and outline appropriate mitigation guidance.

Submitted by Regan Williams on
Subscribe to