Post Profile

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.
read more

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

SPARTA, Inc. is looking for a Formal Modeling Architect in Columbia, MD. The company is seeking someone “to work with and guide Computer Network Attack (CNA) and Computer Network Exploitation (CNE) domain experts in the development ... Read Post