Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
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
-
psychologists commensurate with California State Board of Psychology licensure requirements. Fellows are required to make formal case presentations to staff. Training seminars are offered the 1st and 3rd weeks
-
) 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