Sort by
Refine Your Search
-
to ensure transparency and reproducibility. Ensure that all results, protocols, software, and documentation are archived properly and shared with the larger NIST community and relevant stakeholders. Present
-
§ 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
-
developing physics-based analysis software - Measuring thermal property data for internal and external collaborators and stakeholders - Depositing and characterizing thin films in the NIST NanoFab - Presenting
-
experiments. § Presenting results at internal meetings, and occasional meetings with external stakeholders. § Ensuring that results, protocols, software, and documentation have been archived or otherwise
-
Preferred Key responsibilities will include but are not limited to: - Perform measurement analysis using artificial intelligence and/or machine learning - Generate and maintain analysis software
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 8 hours ago
specification and verification tools (e.g., TLA+, Coq, SMT solvers, etc.) is strongly preferred. ● Familiarity with high-assurance languages or provably-correct software development. ● Knowledge of low-level
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised
-
have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering