西南大学软件研究与创新中心 博士硕士研究生招生启事(www.swu-rise.net.cn)
来源: 刘志明/
西南大学
108
3
0
2018-12-03
Title: Masthead
素质要求

ü  对科学技术强烈兴趣和探索欲望的计算机科学与技术、软件工程、数学、统计等相关专业的本科生和硕士研究生

ü  追去科学的严谨性,抽象的思维,逻辑的分析能力,或工程设计能力

ü  有不断走出自己的舒适带去享受更大空间的勇气,追求综合素质的修养和提高

ü  有团队合作精神

学习科研环境、条件、资源和机会
  • 科研经费支持包括:已到位国家特聘专家项目资助金额一千万;在研的自然科学基金为的面上、重点、国际交流和青年基金共6项以及重庆市的项目数项,开始了与业界需求相契合的横向合作。

  •   有装修一新的120平方米现代化实验室、提供全新配置的23寸大屏幕高性能品牌电脑,以及其他科研相关的设备、设施。

  • 国际化、跨方向、梯队式指导教师团队及各方面紧密协作的创新研发团队,包括:

      Ø  全职的教授、副教授、讲师、博士后、博士研究生和硕士研究生

      Ø  国内国外的兼职教授,国内国外访问学者和访问研究生

  •  中心为每一位博士生提供为期一年的海外学习机遇及相应的经费资助。

  • 中心为参加国内外学术交流活动及国际会议的学生提供相关差旅经费资助。

  • 中心有广泛而深厚的国内外合作关系网,可为学生提供大量的留学、学术交流与合作、就业和创业机会。

研究方向

软件理论与方法:软件系统建模、分析、设计、验证理论、技术和工具

  • ü  系统:并行与分布式系统、网上服务、云计算、信息物理融合系统、物联网、大数据分析

  • ü  应用:涉及国计民生以及可持续发展各个领域,包括交通运输、制造智能自动化、数字智能健康医疗、数字智能 

  •     农业、航空和航天、环境保护和管理、智慧城市等

  • ü  软件可信性:正确性、安全性、防攻击和侵腐性、实时性、容错、可靠性等

  • ü  模型与理论:指称语义、操作语义、程序逻辑、自动机、机器学习、程序设计统一理论

  • ü  方法与工具:模型驱动、数据驱动、精化演算、定理证明、模型检验、模拟、测试、统计分析等

  • ü  主旨思想:理论与实践相集合、基于模型的软件智能化与智能化开发、统一模型理论与方法方法集成



登录用户可以查看和发表评论, 请前往  登录 或  注册
Copyright 2009-2018. All Rights Reserved. SCHOLAT 学者网 版权所有 粤ICP备16019897号-1
免责声明 | 关于我们 | 联系我们
联系我们: