常亮教授课题组招聘博士后

招聘岗位：博士后发布日期：2022年04月29日

一、团队及负责人简介

常亮，教授、博士生导师，2015年至2020年先后担任桂林电子科技大学计算机与信息安全学院副院长、院长，2020年12月至今任桂林电子科技大学教务处处长。兼任广西可信软件重点实验室主任、广西人工智能学会副理事长、广西软件行业协会副理事长、广西计算机学会副理事长、广西本科高校计算机类教学指导委员会秘书长。主持或参与完成国家级和省部级科研项目20余项，发表SCI/EI收录学术论文100余篇，获发明专利授权30余项，参与制定国家标准1项，获省部级科技奖励二等奖3项。团队现有教授4人，副教授5人，青年博士5人。

二、招收方向及工作内容

招收方向：形式化建模与验证

工作内容：执行科研项目，涉及知识图谱表示学习、描述逻辑推理、动态系统建模与验证等内容，带领研究生开展科学研究并发表高水平论文。