上海招聘

As every software engineer would have known, enterprise business App System is well-designed to be customer-oriented, whose interests can be completely - at least fairly easy to be - handled by the system.

What if looking at it from resource's angle ? Is there any corresponded operation-oriented App System that all resource-faced activity and computation could be well-modeled too ?

Unfortunately, NO.

Such a unbalanced situation raises up big concerns in nowadays Enterprise Resource Pool and App Deliver System - if having one - where the App Computation and App Operation process have not been consistently defined. Please try following questions:
Is your VMWare / IBM / Cisco tool be able to freely launched in the data center ? why not ?
Is your App Resource Network be able to accommodate one more App Instance ? it cannot or simply you are just not sure about it ?
Who to share resource with whom is better ? why ?
How to make sure a bunch of devices, each of which caters for multiple of workloads respectively, are well-configured so that the supported App can be always in good situation ?
Well, I am pretty sure no one can answer them properly without modelling such various of App Computation & Operation processes into an Operation System.

Down to this line, if you agree with me, I'd like to be greeting you - welcome to Next Generation of Resource Pool & App Delivery technology !

By Formal Method that reduces All App Structure & operation & computation process into Meta-data Ontology constructed with Formal Logic and Math integrity, any of App Behavior's semantic can be verified and validated ( during run-time), therefore system always know if " Operation & Computation X, use resource Y, reaching goal Z" - modelling problem resolved !

Now you might be realizing what we are doing:
using abstract machine to infer abstract code( a.k.a. Meta-data ) --> being positive ? --> transforming abstract machine into Virtual & physical system and Meta-data substantial source-code or device commands --> data center resource & its operation are automatically triggered and modeled as well.

Because Formal Method is so well-known as machine-process-able, so that above verification & validate and transformations are self-run-able without human's interference, which makes critical sense to practical operations because we strongly believe that in future, all data center operations are to be done by source code, but not human's hands.

Are you interested in this ? please feel free to let me know what you want to know.
E-mail: hr@tnsoft.com.cn

Company Quick facts:
* Tech startup - offering next generation of Resource Pool & App Delivery technology to enterprise operation software ( IaaS ) market
* US-found; R&D and marketing operates in Mainland China
* Independent software product vendor, focusing on Bank and Geophysical ( oil ) industry with existing customers segment
* Building and maintaining 20+ R&D elite with high-end tech standards and capability in Shanghai
* Don't be bothered about website please - we don't demonstrate our tech over there
* Tech-oriented company culture, and learning is always mandatory