SPARTA is searching for a Formal Modeling Architect in Columbia, MD. The post states, “SPARTA, Inc., a Parson’s Company is seeking an experienced Formal Modeling Architect to work with and guide Computer Network Attack (CNA) and Computer Network Exploitation (CNE) domain experts in the development of formal models. Formally generated models provide a common specification format for a class of associated systems, enable the CNA and CNE analysis of those formally specified systems, and enable the generation of executable dynamic models for CNA and CNE simulation activities.
The Information Architecture Institute seeks a Semantic Modeler in Portland, OR. The post states, “We are a Portland-based software company that builds enterprise semantic software solutions. We are seeking a semantic modeler to joi... Read Post
CHANDLER, ARIZ. — The paper investigates the application of semantic model design and technology in industrial operations integration and the evolving role of Semantic Computing in operations management. Semantic (data) modeling as... Read Post