Mathematical Foundations for System Interoperability

NIST, United States

Updated: 6 days ago
Location: Gaithersburg, MARYLAND
Deadline: The position may have been removed or expired!

RAP opportunity at National Institute of Standards and Technology     NIST

Mathematical Foundations for System Interoperability


Location

Information Technology Laboratory, Software and Systems Division


opportunity location
50.77.51.B7916 Gaithersburg, MD

NIST only participates in the February and August reviews.


Advisers
name email phone
Ram D. Sriram [email protected] 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.


key words

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


Eligibility

Citizenship:  Open to U.S. citizens

Level:  Open to Postdoctoral applicants


Stipend
Base Stipend Travel Allotment Supplementation
$82,764.00 $3,000.00

Similar Positions