The National Academies Logo
Research Associateship Programs
Fellowships Office
Policy and Global Affairs

Participating Agencies - NIST

  Sign InPrintable View

Opportunity at National Institute of Standards and Technology (NIST)

Mathematical Foundations for System Interoperability

Location

Information Technology Laboratory, Software and Systems Division

RO# Location
50.77.51.B7916 Gaithersburg, MD

Please note: This Agency only participates in the February and August reviews.

Advisers

Name E-mail Phone
Sriram, Ram D. sriram@nist.gov 301.975.3507

Description

This research aims to study the formalization of information processes and systems, using modern approaches and techniques from mathematics. Distinct entities, each having its own database, ontology, or other model of the world, need to collaborate with one another. To do so, the entities must continue to communicate as the situation changes; this involves constantly rebuilding their shared language as well as updating their own model. Current logical frameworks are not flexible enough to manage the constant schema design changes that arise in healthcare and manufacturing systems. The eventual goal is to develop a framework for enabling system interoperability. Background in algebraic topology or similar field in mathematics, or in the theory of programming languages would be useful.

 

Keywords:
Formalization; Dynamics of information processes and systems and system interoperability;

Eligibility

Citizenship:  Open to U.S. citizens
Level:  Open to Postdoctoral applicants
Copyright © 2014. National Academy of Sciences. All rights reserved. 500 Fifth St. N.W., Washington, D.C. 20001.
Terms of Use and Privacy Statement.