上海招聘

Product line:产品线与主要角色定位
1. 基于软硬件虚拟化平台下的IaaS产品
2. 工作专注于java实现的功能模块

Responsibilities:工作职责描述

1. 负责Java 功能模块的设计开发，确保安全、质量和性能

2. 在有余力的情况下进行技术调研

3. 参与需求分析

Requirements:任职基本要求
1. 数学、计算机或相关专业本科以上学历

2. 对算法有一定的了解，熟悉常用算法（MUST）

3. 具有3-5年以上JAVA软件开发经验，基础扎实

4. 熟悉并行编程、分布式编程

5. 对网络、存储有一定的了解

6. 具备严密、敏捷的逻辑思维能力

7. 较强的技术文档撰写能力和语言表达能力

8. 具有较强的工作责任心、良好的沟通能力和团队合作精神

9. 有较强的学习能力，愿意掌握和了解先进技术

Additional Requirements:优选要求
1. 有IaaS系统的开发经验优先

2. 熟悉NOSQL DB(Mongo DB等)优先

3. 211重点大学毕业优先

应聘者请看清要求，must为必须满足部分，合则约见。

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