### 技术经验 精通 Lean4 交互式定理证明器的使用与开发，熟练掌握 Lean4 的类型系统、战术证明策略及元编程功能，能独立完成复杂数学定理的形式化验证。熟悉 Lean 社区生态，参与过多个开源形式化库的维护与扩展，对定理证明自动化、程序正确性验证有深入研究，了解形式化方法在密码学协议、操作系统内核验证等领域的应用。
可兼职时间 周六、周日、工作日
可兼职地点 海淀
华为 & H3C： 精通路由器、交换机（S系列/CE系列）的VLAN、 VPN等协议的配置与优化。具备使用VRP/Comware系统进行复杂网络搭建和排障的能力。 思科： 精通IOS/IOS-XE系统，熟悉Catalyst/Nexus系列交换机、具备深厚的传统网络技术功底。 防火墙与安全网关： 飞塔： 精通FortiGate系列下一代防火墙（NGFW），熟悉安全策略、VPN（IPSec/SSL）、病毒防护、入侵防御、Web应用防护等安全功能的部署与调优。 华清信安： 熟悉TVD系列安全网关及云安全产品，具备基于本地的威胁检测与防御、网络访问控制等实战经验。
可兼职地点 昌平 北七家
就职于unity、鹰角、叠纸等多家游戏研发公司，参与过多个Unity引擎的PC、手机项目，深入定制过unity srp渲染管线、TA方案等等，负责过性能优化、问题定位、兼容性修复等工作内容。 熟悉unity源码，具有多年的源码定制化工作经验。有自己的vulkan渲染器，熟悉vulkan metal等多种图形API。
可兼职时间 自由职业，时间充裕
熟悉h5+css3开发响应式页面，使页面能够三屏适应 熟练bootstrap框架快速开发页面 熟练jquery写页面特效,ajax调用接口获取数据 熟悉nodejs开发服务器， www.zgfjwhw.com www.hoschina.cn
● 负责核心产品支付成功页的多次迭代：红包，广告，会员活动，集点活动； ● 商户版APP web 跟原生交互（分享、webview打开新的页面、webview之间传递参数、webview下载） ● 微信公众号 H5单页面点餐：点餐系统 webapp独立开发（vuejs + webpack + es6） ● 主要负责公司产品相关 web页面开发 与 维护，与 微信 公众号 有菜商城单页面应用开发 ● ...
可兼职地点 昌平 北京所有区域
参与公司项目 猎材网的开发工作，进行了主要核心功能的开发自己移动端垂直信息页面的开发。 对新技术有良好的探索和学习习惯，有很强的内在驱动力，以编程为爱好。 工作之余学习Node等语言并编写自己的项目，熟悉ES 6规范。 CSS 方面熟练使用css 3制作交互动画，能够应用canvas 做动画。
可兼职地点 昌平 上地，西二旗，回龙观，龙泽，霍营，育知路
熟悉nodejs、express框架、ejs模板引擎。 熟悉flex弹性盒模型布局。 熟悉git的使用 。 熟悉vue全家桶。 熟悉BootStrap、ElementUI等前端框架构建到应用中。 熟悉目前较为流行的组件化开发，会自己构建webpack。 熟悉后台pytho、node.js脚本语言。 熟练mongodb及mysql数据库的基本操作。
可兼职地点 昌平 天通苑附近
全栈开发工程师 精通 c#、java 双服务端语言； 熟练使用 SqlServer、MySql关系型数据库，以及数据库方面的优化； 熟练应用 Memcache缓存、Reids非关系型数据库； 熟练使用HTML CSS JavaScript前端语言； 熟练使用Linux、Windows服务器，以及程序部署和服务器调试； 熟悉项目优化（程序级别、服务器级别、数据库级别）；
【我的介绍】 我认为我很善于学习，无论是在厦门学习新的知识帮公司打通微信和硬件端，还是在北京为公司打通微信支付、打印机套打、用户自主生成图片；我也能很快融入到其他人的开发中去，很好和别人进行技术和业务上的沟通。 大学四年就系统学习了软件开发的思想，语言以及算法设计等知识；大学三年级还有半年时间学校安排在中软国际培训实习，更加坚实了自己的编程基础以及实战经验。 2015年3月开始在厦门蒙发利实习工作，担任java开发工程师，一年的实习加工作的时间，全程参与了cozzia按摩椅后台、微信版小型按摩器、奥佳华跑步机微信端、松下按摩椅后台四个系统，全栈开发，很短的时间攻克了微信端通过蓝牙协议控制硬件设备的问题，为部门积累了技术；为很多版本的APP写了接口，和移动端实现完美交互。 2015年4月来到北京，进入北京油联通信，软件开发工程师，两年的时间，分别全程参与了油界贷、油大掌柜、中保汇、油惠站四个系统，都有做微信端版本，我全面负责四个微信端的开发，对微信端的开发流程都很熟悉，PC端方面我参与到各个官网的开发以及后台的开发中去。 2018年4月我开始进入中国民航信息集团总部工作。 通过近三年的工作，我在java的框架的运用上，无论是SSH，还是springmvc,以及sql语句的优化方面都有很好的基础，在处理高并发多线程以及网络编程方面都有自己的心得；并且自己在微信公众号的开发，以及微信小程序的开发方面都能驾轻就熟；因为之前的公司都是比较小的公司，前端的开发都是我参与其中，所以前段的js，html，css，jquery等以及其他的一些前段框架也能很好运用。 【我擅长的服务】 我的技能特长：大学的时候及系统学习了C++，C#，java，mysql,算法设计等软件开发基本课程，大三在中软国际培训并实习半年java 开发，并系统得学习了struts，spring，hibernate，maven等框架，并且开始学习oracle数据库以及原生态的android编程；工作以后主要使用java开发，很熟练地使用SSH框架，Springmvc框架，maven，mybatis等框架；并且开发了四个基于微信公众号以及微信小程序的系统，所以对微信开发也很熟悉。 能提供的服务：Web端的全栈开发；微信公众号开发；微信小程序开发；android原生态开发。
1. 4年及以上PHP开发经验,1年以上架构设计经验； 2. 熟悉Linux系统升级维护，安全策略，可以快速定位出现的紧急问题； 3. 熟悉Nginx/Apache配置和优化； 4. 精通PHP设计开发，掌握PHP缓存技术，静态化设计方面的经验； 5. 熟悉CI，YII框架开发，并具备良好的编程风格； 6. 精通MySQL，掌握索引优化、查询优化和存储优化，mysql分区、分表、集群等相关设计方案； 7. 了解memcache、redis等常用nosql解决方案，了解各自的优缺点以及使用场景、 8. 熟练使用GIT、SVN等代码管理工具； 9. 熟悉web开发中各类缓存设计、站点优化、安全配置等； 10. 善于抽象、总结、思考，对技术有执着追求
可兼职地点 朝阳 望京SOHO
主流框架： SSM/Spring Boot/Spring Cloud/Dubbo/Dubbox 应用容器引擎：Docker/Tomcat/Nginx 消息中间件：ActiveMQ/Kafka/RabbitMQ 数据库： MySQL/redis/mongodb/orientdb/memcached 项目构建管理工具：Svn/Git/码云/Maven 熟悉Linux常用命令，进行服务器搭建以及项目发布 搜索引擎：Lucene/Solr/ElasticSearch 云平台：微信应用开发/蚂蚁金服 了解JVM调优、数据库调优方面 熟练使用常用的设计模式
可兼职地点 丰台 北京
1、熟悉软件功能测试理论和测试用例和方案的编写设计方法; 2、熟悉使用缺陷管理工具(禅道),进行bug提交,追踪和管理bug; 3、熟悉Linux服务器的常规操作命令; 4、熟悉Mysql数据库,以及使用SQL语言进行增删改查; 5、熟悉使用Fiddler等抓包工具,进行分析前后端缺陷的定位; 6、熟悉使用postman进行接口测试,并生成测试报告; 7、熟悉adb命令的基本使用;
可兼职地点 通州 马驹桥
毕业于内蒙古大学创业学院，在校期间成绩优异，爱钻研，对代码有极大的好奇心和热爱 毕业后来到北京就职于阿提拉科技有限公司核心部门，参与主要产品web前端开发，负责界面ui和通信模块及部分组件，在职期间绩效良好，和同事相处友好，需求理解明确 持续学习前端技术对界面美化和应用的流畅性有由衷的热爱
1.熟练使用Mybatis、Spring、SpringMVC开源框架。 2.熟练使用Mysql关系型数据库，熟悉Mysql数据库优化。 3.熟练使用Springboot框架。 4.熟悉Redis非关系型数据库，熟知基本数据类型操作命令、持久化策略、事务+锁、集群搭建并且很好的使用jedis操作redis数据库。 5.熟练使用JavaScript，jquery 以及jquery插件，HTML/CSS等前台开发技术。 6.熟练使用JSP，Ztree，BootsStrap，Echarts统计图，Poi导入导出等技术 7.。熟练使用ActiveMQ中间件的原理，能够基于ActiveMQ实现消息的同步，熟练并使用过队列、订阅者模式进行消息的发送与接收。 8.熟悉Solr索引库、字段、字段域，能够基于zookeeper管理Solr配置信息搭建SolrCloud。熟练使用SolrJ作为客户端在Java代码中调用Solr服务。 9.熟悉Linux系统操作。 10.了解springcloud的重要主键及配置。
可兼职地点 昌平 沙河
1、熟练 Web 前端技术，熟悉 mvc 开发模式，熟悉前后端数据对接； 2、熟悉 Vue+java 进行开发 ，了解 React 、小程序开发，使用过 jquery、ajax、bootsatrp、antd、axios、eCharts ，了解 三维可视化 threeJs； 3、使用过 webStorm、idea 开发工具，node 启动服务，npm 安装依赖，了解 git 使用，tfs 管理源文件，了解 uni-app 组合小程序开发环境； 4、了解前端发展趋势，具有独立分析、解决问题的能力，工作认真负责；
可兼职地点 海淀 昌平区，海淀区
1.熟悉JDK中各种集合的底层原理，多线程，JUC并发包原理，锁，线程池原理，Java内存模型 2.熟悉JVM内存结构，常见垃圾回收器，垃圾回收算法，生产环境下JVM参数调优 3.有阅读过Spring、Mybatis、SpringMVC、SpringBoot、Spring Data Jpa等框架的源码 4.熟悉网络编程，NIO原理，Reactor线程模型，Netty底层原理 5.熟悉mysql原理，锁，事务，具有分库分表、索引优化、sql优化等丰富实战经验 6.熟悉redis原理，线程模型，缓存生产常见问题（穿透、雪崩、大key、热key、双写一致性）解决方案，生产环境集群的使用(redis cluster、redis replication、哨兵、持久化)，搭配Lua脚本使用 7.熟悉分布式搜索引擎ElasticSearch ，在海量数据下优化搜索性能 8.熟悉消息中间件rabbitMQ、rocketMQ、Kafka的原理，MQ生产常见问题（消息堆积、重复消费、不丢失、顺序一致性）的解决方案 9.熟悉分布式治理中常见技术方案原理(通信组件:Dubbo/Ribbon+Feign/gRPC，网关:Zuul/Gateway，注册中心:Eureka/Nacos/consul，限流熔断:Hystrix/sentinel/retry，配置中心:Apollo，日志监控:ELK/Prometheus/Grafana/sentry，分布式追踪:Zipkin/SkyWalking，分布式协调组件:Zookeeper) 10.熟悉分布式下常见解决方案：分布式事务、分布式锁、分布式一致性、分布式限流、幂等性设计等 11.熟悉常见的大数据治理方案：Hive，Hbase，clickhouse 12.容器技术：docker、kubernetes，持续集成：jenkins、gitlab 13.熟悉DDD领域驱动设计，程序中常用设计模式，平台化设计，系统安全防控手段，项目敏捷管理流程
1、掌握软件生命周期、测试流程以及各个阶段的基本工作，能够根据需求文档提取测试需求；熟悉软件测试计划、测试方法、测试用例、测试总结、缺陷报告的设计思想以及规范写作； 2、掌握软件缺陷管理流程，熟练使用Bugfree、JIRA等缺陷管理工具；熟悉版本控制工具SVN，熟悉思维导图工具Xmind； 3、熟悉MySQL、SQL server，了解Oracle，能够使用SQL语言进行增加、删除、修改、查询等操作管理数据； 4、了解Linux的常用命令，能够在Windows、Linux系统下搭建和使用测试环境； 5、熟练使用loadrunner、jmeter开发http、webservice、jdbc性能测试脚本并执行测试； 6、熟练使用nmon、linux命令、perfmon(windows)等工具监控服务器资源，便于分析性能瓶颈； 7、熟练使用fiddle、Wireshark等抓包工具抓取请求/网络数据包； 8、熟悉python语言及selenium+RobotFramework等自动化框架； 9、熟练使用python编写接口脚本完成接口测试，使用python+selenium编写功能自动化脚本。
可兼职地点 朝阳 不限
毕业于安徽工业大学软件工程专业 ，毕业后就职于南京某技术有限公司 参与公司项目的ios客户端开发，负责界面ui功能实现，在职期间绩效良好。 一年后自学java，现今在北京某外包公司担任后端开发工程师。 对新技术有强烈的研究兴趣，准备长期从事技术方面的工作。希望可以利用业余时间提高自己的能力。
可兼职地点 石景山 基本全北京都可 离西城比较近 2小时以内价格好商量
现就职于某知名互联网公司技术部门，参与公司主要产品的web前端开发，负责公司所有页面的静态页实现，包括PC端网站，微信嵌套页面，APP嵌套页面等，熟练运用现阶段各种框架开发，可维护性强。 在职期间绩效良好，被评为优秀员工。 个人对码代码很有兴趣，将前端这份工作视为兴趣。
可兼职地点 朝阳 北三环到北四环
毕业于211太原理工大学计算机系，在校期间专业成绩优秀，多次获得奖学金。 毕业后就职于玖富叮当钱包核心部门，参与技术架构，线上维护，主导产品开发。被评为优秀员工。工作两年后晋升为高级工程师。 持续学习，对开源项目有浓厚兴趣。博客访问量达十万。http://www.cnblogs.com/Genesisx/
可兼职地点 东城 顺义
我是技术人才我在寻找远程工作
我是创业者我在寻找技术人才
