18 software-formal-method-phd Fellowship positions at Johns Hopkins University in United States
Sort by
Refine Your Search
-
§ Develop methods and protocols for verification and validation of entanglement links using entangled states of light within the (metropolitan) quantum network testbed. § Synchronization of network nodes
-
includes optimizing photonic enhancement techniques for improving the optical scattering of single impurity particles. In this regard, surface engineering methods, theoretical modeling and optical microscopy
-
§ Development of techniques and validation methods to verify attachment of DNA nanostructures to semiconductor substrates. § Setup and development of instrumentation to support CMOS bioelectronic measurements
-
) to apply modern methods in artificial intelligence (AI) and machine learning (ML) to the problem of predicting infrared spectra and mass spectra for PFAS compounds. The candidate should have a strong
-
samples for analyses using techniques such as milling, grinding, and microwave assisted acid digestion. Developing bulk and trace analytical elemental quantification methods with ICP-OES and nuclear
-
thermoreflectance optical pump-probe thermal-property measurement methods, develop and refine instrumentation, optimize protocols, and provide thermal property data for thin-film and multilayer materials that can
-
enhance the SPRTCL's calibration capabilities and further minimize uncertainties in temperature measurements. Conduct research to explore new methods, tools, and technologies to enhance the precision
-
experiments. § Presenting results at internal meetings, and occasional meetings with external stakeholders. § Ensuring that results, protocols, software, and documentation have been archived or otherwise
-
to support automation and protocol development for wetlab procedures, as well as development of platforms for new, quantitative measurements and validated methods for evaluating the functional performance
-
methods for measuring mechanical strain in real-world semiconductor devices. Geometric complexity and the importance of strain in state-of-the-art nanoelectronics continue to increase, and this project is