Sort by
Refine Your Search
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal
-
a cluster hire across two research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for
-
a cluster hire across two research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for
-
individual faculty members and placed in a pool for consideration for research positions in all fields and related areas. To see a list of faculty members and their research opportunities please visit
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake
-
. Verification of these models and algorithms will be conducted using benchmark datasets and real-world tests in diverse aquatic environments, necessitating a willingness to engage in experimental work for real
-
) institution. All institution/organization types listed above are eligible for both the mentored (K99) and independent (R00) phase, with the following exceptions: (1) Eligible agencies of the Federal government