Sort by
Refine Your Search
-
logics are a major component of software formal methods, and these involve grafting logic formalisms onto the syntax of a programming language to allow rigorous specifications and proofs about program
-
RAP opportunity at National Institute of Standards and Technology NIST Analytical Methods Development for Metabolomics Location Material Measurement Laboratory, Biomolecular Measurement Division
-
RAP opportunity at National Institute of Standards and Technology NIST Developing Novel Additive Manufacturing Processing Methods Location Material Measurement Laboratory, Materials Science and
-
Computational Methods for NMR Structural Biology and Biomanufacturing of Protein and Live Cell Therapeutics NIST only participates in the February and August reviews. Protein therapeutics
-
RAP opportunity at National Institute of Standards and Technology NIST Advanced Methods for Measuring Microbial Viability Location Material Measurement Laboratory, Biosystems and Biomaterials
-
RAP opportunity at National Institute of Standards and Technology NIST Measuring morphology, dynamics, and transport in polymers with advanced NMR methods Location Material Measurement
-
RAP opportunity at National Institute of Standards and Technology NIST Compressive Sensing Methods for Electron Microscopy and Microanalysis Location Material Measurement Laboratory, Materials
-
301.233.6503 Description The Analytical Chemistry Division has an ongoing program to improve the quality of analytical chemical measurements made in marine environmental research through analytical methods
-
RAP opportunity at National Institute of Standards and Technology NIST Analytical Methods Development for the Determination of Anthropogenic Contaminants in the Marine Environment Location
-
RAP opportunity at National Institute of Standards and Technology NIST Methods and Applications in Ab Initio Thermochemistry Location Material Measurement Laboratory, Chemical Sciences Division