我们是硅谷一家 startup 公司，专注于形式化验证技术。产品包括 C-vs-RTL 等价验证工具，和面向软件领域的安全验证工具。因为国内业务增加，需要 penetration tester 。我们希望该职位能演进成 c/c++ coder, site manager, business partner 等角色。 

任职要求： 

1)热爱 pen testing 

2)熟悉 c/c++编程 

3)踏实，习惯独立工作 

4)良好的人际沟通能力 

5)英语流利 

6)最好了解形式验证工具 

待遇： 

1)弹性工作制(时间 /地点不限) 

2)股权激励 

3)销售提成 

4)有竞争力的薪酬(面议) 

5)有来美工作机会 

联系方式： ymzhang@tukarla.com

上海库梦信息科技有限公司成立于 2015 年，专注于公安、检察院、国安、保密、部队、金融等行业数据与应用方案，已成功为上海市公安局、浙江省公安厅、武汉市公安局、大连市检察院、浙江民泰银行等单位提供权利机关与金融机构间数据对接服务及浙江保密、北京保密等单位互联网数据采集、识别、分析等平台产品。公司核心团队成员均来自相关行业的资深人士，均超过 10 年的行业从业经验。 

希望您能满足： 

1. 2 年以上 PHP 开发经验。 

2. 熟悉 MySQL 数据库 。 

3. HTML/CSS/JS 基础扎实。 

4. 了解 Linux 基本知识以及命令。 

5. 优秀的团队合作精神，快速学习能力。 

6. 能够出差（出差期间食宿交通报销。每日补助 100 元） 

职位的最低保证： 

薪水： （ 5000~7000 ）+500 办公 

假期：国家法定假日照休。 

工作种类：全职 

工作地点：远程 

联系人：李先生 

联系电邮： 279775676@qq.com