长沙招聘

【岗位名称】
高级研发工程师 

【职责内容】
参与公司自主研发产品的研发；
负责编写相关开发文档、技术报告等；
结合实际业务需求，开展程序分析、程序验证等领域前沿技术的产品化工作； 

【任职要求】
院校学历：985/211院校，硕士毕业优先；特别优秀可放宽限制：
所学专业：计算机专业
从业经验：有llvm & clang工具链开发经验，工作经验1年以上，至少有1个以上相关实际工具的独立开发经验； 
专业技能：
1.熟悉编译器相关技术，熟练掌握C/C++语言；
2.熟悉程序分析技术，如程序分析（数据流、控制流、切片）、形式化验证，符号执行等优先；
3.在相关领域具有国内外相关专利、软著或优秀论文发表者优先；
职业素养：
1.创新、奋斗、责任心、匠心、团队协作、沟通协调、实事求是；
2.具备较好的学习能力、问题分析能力和技术钻研能力，可以独立解决技术问题；
3.热爱技术、诚实上进、责任心强，具备良好的沟通协调能力和团队合作意识，能够主动承担开发任务，善于总结和分享自己的开发经验。 

湖南泛联新安信息科技有限公司是国产化的软件开发、软件测试与软件安全工具提供商，高新技术企业。公司致力打造成为基础软件工程工具领导企业，依靠人工智能技术提供业界先进的软件开发/测试/安全/EDA工具，让软件开发智慧解决方案惠及更多的软件开发企业。公司核心研发人员来自国防科技大学、中国科学院大学、北航、哈工大、北理工、中科大、西工大等军工院校，技术团队70%以上人员具有国内外知名大学博士和硕士学历。公司自成立以来，与中国科学院、国防科研院所等高校和科研机构建立产学研项目合作，所研发的近10个产品全部拥有自主知识产权，并广泛应用于军事装备/军工企业/政府部门/金融能源等领域，在智能程序分析、编译器技术、软件基因分析、软件漏洞挖掘等方面已自主掌握关键核心技术。

进入新时代，核心技术自主可控已成为国家战略，
抓住新机遇，关键产品国产替代正成为创业共识。
软件开发、测试和安全工具被国外垄断，EDA工具被美国卡脖子，
这是一个具有国家战略意义和广阔市场前景的专业领域！

我们是胸怀祖国、勇于担当、敢打必胜的湖湘人！
我们是善于扎硬寨、啃硬核、打硬仗的奔跑者！
自主替代追赶超越，责任重大使命光荣！
来吧，勇士们！让我们一起奋斗接受挑战吧！

可能你已经身怀绝技基础扎实，
可能你愿意挖掘潜能挑战自我，
但你肯是有理想有抱负的青年才俊，
热忱欢迎您的加盟，和我们一起加入iUnit软件单元测试工具、FPGA静态工具、软件测试服务、PLC编译及运行环境、代码成本分析、EDA工具等产品和项目的研制开发！

欢迎加盟泛联新安，这里有您期待的：
展现才华的开放平台，实力强劲的院校支持，
惜才爱才的创业老板，团结协作的同事团队，
活力轻松的工作环境，备受尊重的工作待遇！
还有与一流大咖切磋、参与一流科学研究、学历提升、股权激励、项目奖励等众多机会。
网络一线牵、珍惜这段缘，期待您的加盟！
让我们跟着新时代，一起奔跑，一起攀登，一起投身于伟大的事业，一起成长为基础软件新力量！