ICTT介绍页面 - htmlpage.cn
Contact

联系方式

实验室名称:计算理论与技术研究所(广州),简称ICTT (GZ)

实验室主页https://xidian.work/

地址:广东省广州市黄埔区九龙大道206号西安电子科技大学广州研究院

邮编:510555

邮箱:wencheng [AT] xidian.edu.cn


研究组研究氛围融洽,接收硕士、博士、博士后、科研助理申请,欢迎勤奋、认真,有创新精神的有志青年加入我们研究组!

Enrollment

招生信息

招生专项:西安电子科技大学 --> 卓越工程师学院粤港澳大湾区基地专项(即广州研究院)

招生专业领域:085400 电子信息 --> 1. 计算机技术;2. 网络与信息安全

招生人数:每年约招收硕士研究生5人(每位全职教师);博士研究生指标较少,优先从组内推荐

招生信息:欢迎对高可信软件工程技术、人工智能使能软件系统开发与验证、可信软件的基础理论与方法等研究方向感兴趣的同学加入我们,共同探索学术未知领域。团队坚持理论与应用并重,已与企业建有校企联合中心,经费较为充足,硬件环境良好,形成了较好的科研氛围,欢迎有意向的同学(计算机科学与技术、软件工程等相关专业)通过邮件与我联系:wencheng [AT] xidian.edu.cn。



我们提供以下机会:

1. 参与国家重大科研项目,提供相应高性能服务器计算资源和周边资源。

2. 支持有较强科研能力的同学发表高水平研究论文、申请国家发明专利,以及参加国内外学术会议和论坛。

3. 支持有较强动手能力的同学到华为技术有限公司(深圳龙岗区、东莞松山湖)、北京轩宇信息技术有限公司(北京中关村)、光明实验室(深圳光明区)等业界领先的企业实习。

4. 推荐表现优秀的同学继续在广研院攻读工程博士,或到国内外优秀大学攻读博士学位。



我们注重以下能力:

1. 英语能力,大学英语六级成绩500分以上优先考虑。

2. 善于沟通,易于交流,遇到问题及时与导师和团队沟通。

3. 独立思考能力强,面对科研目标,先有自己的思路再去讨论和阅读论文。

4. 主动性强,能主动发起讨论、主动推动工作进度(与独立思考和主动性相比,学习成绩没那么重要)。

5. 对自己自信,心理素质强,在压力面前保持头脑清醒,能从容淡定地输出自己的观点(面试主要考察项)。

6. 如果善于使用类ChatGPT等大语言模型提高科研和工作效率,并且英语写作能力好一些,是个加分项:)



团队研究氛围(受个人师门的影响,优良的作风咱们得传承):

1. 不考勤、不打卡。容忍睡懒觉、熬夜加班、在实验室打游戏等不良习惯和行为。当然,因人而异,因工作而异,要保质保量地完成研究任务,投入多我们也希望能产出多。我们希望同学们更加自由、灵活和专注于研究本身(^_^)。

2. 每周举办一次组会(如遇时间冲突,可以灵活调整),同学们想介绍对自己研究的新想法、问题、计划、成果都可以,或者轮流分享对论文的阅读心得和体会,自由讨论。当然,组会的目的不是为了安排工作和汇报进度,而是大家及时拉通对齐,促进分享和交流,同时推进研究进展。

3. 定期组织聚餐、聚会、出游等团建活动,增进成员们的交流、合作和友谊。以第一作者身份发表高水平论文或国家发明专利,实验室额外提供激励政策。

Tools

课题组实用工具

软件2.0March 2023

基于大语言模型的软件工程技术研究

智能化软件开发、软件缺陷分析与质量保障、测试用例自动生成、函数规约自动生成.

By: Xidian-ITSE
软件分析February 2023

P4: 并发软件通用安全性分析框架

并发缺陷检测:静态分析、受控并发测试、模糊测试、预测分析.

软件分析February 2023

Rust库分析与测试技术研究

Research on Rust Library Analysis and Testing Technology.

与AI一起进化March 2023

科研工作专用ChatGPT

非营利性公益项目.

Contact Us

Get In Touch With Us Now

广东省广州市黄埔区九龙大道206号西安电子科技大学广州研究院