基于余代数的自动验证与综合博士研究员
Automated verification and synthesis using coalgebras
原帖优先：申请材料、截止时间与资格以原帖和学校官方说明为准。
博士招生与资助公告
- 申请年度
- 2027；原帖说明：How to apply Apply now You need to: • choose programme type (Research), 2027/28, Faculty of Engineering and Physical Sciences • select Full time or Part time • search for programme PhD Computer Science (7089) • add name of the supervisor in section 2 of the application Applications should include: • research proposal • your CV (resumé) • 2 academic references • degree transcripts and certificates to date • English language qualification (if applicable)
- 最近申请截止
- 2027-03-31
- 全部申请截止
- （Europe/London）
- 资助原文
- Fees and funding We offer a range of funding opportunities for both UK and international students. Horizon Europe fee waivers automatically cover the difference between overseas and UK fees for qualifying students. Competition-based Presidential Bursaries from the University cover the difference between overseas and UK fees for top-ranked applicants. Competition-based studentships offered by our schools typically cover UK-level tuition fees and a stipend for living costs for top-ranked applicants. Funding will be awarded on a rolling basis, so apply early for the best opportunity to be considered. For more information, please visit our postgraduate research funding pages.
- 资助条件
- 原帖为竞争性或附条件资助说明，未确认本项目获资助及申请人能获奖；不作为保证全奖。
- 原帖材料说明
- • research proposal
- • your CV (resumé)
- • 2 academic references
- • degree transcripts and certificates to date
- • English language qualification (if applicable)
确定性信息来自对应版本的完整原帖。原帖只提供日期，日末和学校当地时区为本站转换假设。筛选使用最后申请截止；资助与录取以学校审核结果为准。
AI 中文速览
- 研究内容
- 本项目旨在通过将现有技术泛化以匹配现代软件代理的复杂性，在自动化验证和综合领域取得进展，应用领域包括具正确性/最优性形式保证的自主系统综合与自动规划。项目将通过推进基于余代数的方法来克服当前自动化验证与综合技术的局限性。
- 申请条件
- 申请人必须拥有计算机科学或数学专业的英国 2:1 荣誉学士学位或同等国际学历，对计算机科学理论方面感兴趣者为佳。
- 待遇
- 学校为英国本土及国际学生提供一系列资助机会，其中“地平线欧洲”学费减免可自动为符合条件的合格学生补足海外学费与英国本土学费之间的差额；基于竞争的总统奖学金可为名列前茅的申请人补足海外学费与英国本土学费差额；各学院提供的竞争性学生奖学金通常涵盖英国本土学费及生活津贴。资助按滚动方式发放，建议尽早申请。
- 申请方式
- 申请人需选择研究型项目类型（2027/28学年，工程与物理科学学院），选择全日制或兼职，搜索博士项目“PhD Computer Science (7089)”，并在申请表第二部分添加导师姓名，截止日期为2027年3月31日。
- 材料清单
- 研究计划书
- 简历
- 2封学术推荐信
- 至今的学位成绩单与证书
- 英语语言资格证明（如适用）
由 gemini-2.5-flash-lite 生成，博士岗判定置信度 100%。
岗位信息
- 最终轮次截止
- 2027-03-31
- 学科
- 计算机科学
- 合同类型
- 项目资助
- 本站收录
- 内容更新
- 导师
- Dr Corina Cirstea
- 来源
- 南安普顿大学博士研究项目招生 · 最近核对 2026-10-10
- 详情核验
判定依据（原文摘录）
- is_phd为true
Type of degree Doctor of Philosophy
- bachelor_ok为false
Entry requirements 2:1 honours degree
- supervisor_name
Lead supervisor Dr Corina Cirstea
原文
View all current projects
Postgraduate research project
Automated verification and synthesis using coalgebras
Funding
Competition funded
Competition funded
View fees and funding
Type of degree
Doctor of Philosophy
Entry requirements
2:1 honours degree
2:1 honours degree
View full entry requirements
Faculty graduate school
Faculty of Engineering and Physical Sciences
Closing date
31 Mar 2027
On this page
About the project
Potential supervisors
Entry requirements
Fees and funding
How to apply
Contact us
About the project
Potential supervisors
Entry requirements
Fees and funding
How to apply
Contact us
About the project
This project will make advances to the areas of automated verification and synthesis, by generalising existing techniques to match the complexity of modern software agents. Application domains include the synthesis of autonomous systems and automated planning with formal guarantees of correctness/optimality.
The area of coalgebraic verification aims to employ methods from the field of coalgebra in order to enhance and extend the applicability of automated verification and synthesis techniques.
Coalgebras are mathematical structures suited for modelling general state-based, dynamical systems. They come equipped with logics that support reasoning about temporal behaviour, both qualitatively and quantitatively. Coalgebraic techniques have already helped to better understand, unify and even generalise automata-based techniques used in automated verification.
Current limitations of automated verification and synthesis techniques include the lack of applicability to systems whose structure and interactions vary over time, and/or whose optimality requirements are complex (e.g.~optimal resource usage in a stochastic environment). This project will advance the coalgebraic approach to verification by addressing some of these limitations.
The School of Electronics and Computer Science is committed to promoting equality, diversity inclusivity as demonstrated by our Athena SWAN award. We welcome all applicants regardless of their gender, ethnicity, disability, sexual orientation or age, and will give full consideration to applicants seeking flexible working patterns and those who have taken a career break. The University has a generous maternity policy, onsite childcare facilities, and offers a range of benefits to help ensure employees’ well-being and work-life balance. The University of Southampton is committed to sustainability and has been awarded the Platinum EcoAward.
Potential supervisors
Lead supervisor
Dr Corina Cirstea
Associate Professor
Entry requirements
You must have a UK 2:1 honours degree, or its international equivalent, in computer science or mathematics.
An interest in theoretical aspects of computer science is desirable.
Fees and funding
We offer a range of funding opportunities for both UK and international students. Horizon Europe fee waivers automatically cover the difference between overseas and UK fees for qualifying students.
Competition-based Presidential Bursaries from the University cover the difference between overseas and UK fees for top-ranked applicants.
Competition-based studentships offered by our schools typically cover UK-level tuition fees and a stipend for living costs for top-ranked applicants.
Funding will be awarded on a rolling basis, so apply early for the best opportunity to be considered.
For more information, please visit our postgraduate research funding pages.
How to apply
Apply now
You need to:
• choose programme type (Research), 2027/28, Faculty of Engineering and Physical Sciences
• select Full time or Part time
• search for programme PhD Computer Science (7089)
• add name of the supervisor in section 2 of the application
Applications should include:
• research proposal
• your CV (resumé)
• 2 academic references
• degree transcripts and certificates to date
• English language qualification (if applicable)
Contact us
Faculty of Engineering and Physical Sciences
For questions about applying, email our Doctoral College (doctoralcollege-admissions@soton.ac.uk).
Project leader
For an initial conversation, email Dr Corina Cirstea (cc2@ecs.soton.ac.uk).