SIGNAL HORIZON - EMERGING
High publication velocity, limited roles — value is forming before the market prices it.
90 DAYS
Early-mover advantage window. Publish to stake a position.
6-12 MO
First industry roles appear as orgs de-risk the space.
12-24 MO
Field either breaks into mainstream or consolidates to 2-3 dominant approaches.
Despite the significant number of recent publications in formal verification, there is a lack of focus on integrating formal verification methods with emerging technologies in machine learning-based systems, especially in ensuring the safety and reliability of autonomous decision-making processes. Additionally, there is minimal exploration of dynamic verification methods that adapt in real-time to software or hardware changes in complex systems.
### 2.
THE OPPORTUNITY
The absence of open roles amidst high publication activity suggests that while there is a strong academic interest in formal verification, the job market may not yet be corresponding with the output of research, possibly leading to a saturation of academic roles. For a researcher entering this field, this presents a unique opportunity to carve out a niche in developing practical applications or tools that could enhance the adoption of formal verification techniques in industry settings.
### 3.
+ abstract
Hardware-Native GPU Certification of QECTOR Decoder v3 (GTX 1060, CUDA) Principal Investigator: Guillaume LessardAffiliation: iD01t Productions, Quantum Systems ArchitectureORCID: 0009-0000-3465-3753Contact: admin@qector.storeThis Deposit's DOI: 10.5281/zenodo.22293097Related DOI (Reference Manual): 10.5281/zenodo.21941046Related DOI (CPU Proof Suite Certification): 10.5281/zenodo.22244510Software...
+ abstract
In the digital age, the online data accumulated by individuals often persists after death, but the current mainstream platforms lack systematic technical support and institutional arrangements for posthumous data management. Moreover, Terms of Service (ToS) governing data inheritance and account handling are typically vague, complicating users' efforts to manage their digital legacies. This thesis...
+ abstract
Traditional cryptographic systems face critical vulnerabilities posed by the rapid advancement of quantum computing, particularly concerning key exchange mechanisms and the quality of entropy sources for random number generation. To address these challenges, this paper proposes a multi-layered, quantum-resistant hybrid cryptographic architecture. First, to ensure robust data confidentiality and se...
+ abstract
Rust is a new system-level programming language that prioritizes performance, safety, and productivity. However, as evidenced in many previous works, unsafe code fragments broadly exist in Rust projects. The use of these unsafe fragments can fundamentally violate the safety of systems developed using the programming language. In response to this problem, we propose a novel methodology (Thetis) to ...
+ abstract
External vendors develop a significant percentage of Windows kernel drivers, and Microsoft relies on these vendors to handle all aspects of driver security. Unfortunately, device vendors are not immune to software bugs, which in some cases can be exploited to gain elevated privileges. Testing the security of kernel drivers remains challenging: the lack of source code, the requirement of the presen...
+ abstract
The SciDAC-3 Institute for Sustained Performance, Energy, and Resilience (SUPER) focused on developing tech- nology and leveraging expertise towards ensuring that computational scientists could successfully exploit existing and emerging DOE high performance computing systems. To achieve this goal, SUPER was organized into research thrusts focusing on performance engineering, auto-tuning, performan...
+ abstract
Over the course of this project, computational scientists working on behalf of the Department of Energy's Office of Science (DOE SC) were exploiting a new generation of petascale computing resources to make previously inaccessible discoveries in a broad range of disciplines including physics, chemistry and material science. The computational systems underpinning this work increased in performance ...
+ abstract
This is the final report for the University of Utah's contribution to the Institute for Sustained Performance, Energy, and Resilience (SUPER), which was a DOE Scientific Discovery through Advanced Computing (SciDAC) Program.
+ abstract
Trains offer low emissions and energy efficient transportation of passengers and goods, and are therefore essential to the infrastructure of the country.For the safety of the passengers, amongst others, it is necessary to control the trains to avoid crashes.By using a signaling system (European Rail Traffic Management System), it is possible to keep track of the train locations and react to anomal...
+ abstract
High level synthesis (HLS) using C/C++ has increasingly become a critical step in the realization of complex digital systems. One of the major research focus areas in this space has been to realize efficient synthesis of complex systems without violating stringent time-to-market constraints. Most of the related work cited in the literature has been mainly confined to supporting language constructs...