2013年11月4日批准的申请
部门。 | 大学 | 索坎德 | 类型 | Projekt滴度 | 2014 | 2015 | 2016 | 2017 | 总计 | 注释 |
反恐精英 | GU公司 | 丹尼尔森、尼尔斯·安德斯 | 年少者 | 实用嵌套归纳法和共归纳法 | 840 | 840 | 840 | 840 | 3360 |
装货单 | 查尔默斯 | 劳拉·科瓦茨 | 年少者 | GenPro:通过符号消除生成和证明程序属性 | 840 | 840 | 840 | 840 | 3360 |
装货单 | 查尔默斯 | 科恩林德斯特伦·克莱森 | PRG公司 | 基于证明的测试——使用证明技术实现复杂算法的自动化测试 | 840 | 840 | 840 | 840 | 3360 |
装货单 | 查尔默斯 | 马格纳斯·迈伦 | 年少者 | 系统验证-最后一英里 | 960 | 960 | 960 | 960 | 3840 |
整个自然科学领域的统计数据:
- PRG:19%授予(229/1218)
- Jr拨款:8%(64/769)
链接:
2013年4月11日提交的申请
部门。 | 大学 | 索坎德 | 类型 | Projekt滴度 | 2014 | 2015 | 2016 | 2017 | 2018 | 注释 |
总工程师 | 查尔默斯 | 乌尔夫阿萨森 | PRG公司 | 真实的3D web渲染。 | 1238 | 1247 | 1320 | 1344 | 1409 |
总工程师? | 查尔默斯 | 安德斯·埃里奇 | Ind-dr学生 | 用于地面和空间应用的多相信号处理系统 | | | | | x个 |
总工程师 | 查尔默斯 | Larsson Edefors,Per公司 | PRG公司 | SAREC:用于节能计算的子内核加速 | 946 | 974 | 1020 | 1038 | 1096 |
总工程师 | 查尔默斯 | 伊奥安尼斯·索迪斯 | 年少者 | ScalaNet:可扩展的网络处理 | 907 | 932 | 1057 | 1058 | 1141 |
纳秒 | 查尔默斯 | 奥拉夫·朗西德尔 | 年少者 | 绿色网络:互联网的节能通信模式 | 1005 | 1045 | 1095 | 1156 | 1138 |
纳秒 | 查尔默斯 | Själander,马格纳斯 | 年少者 | HEED:节能数据访问的整体方法 | 1015 | 996 | 1049 | 1065 | x个 |
反恐精英? | 查尔默斯 | 加布里埃尔·卡帕尼尼 | 年少者 | 一种有效的大数据多文档汇总方法 | 890 | 921 | 955 | x个 | x个 |
反恐精英 | 查尔默斯 | 彼得·达姆施克 | PRG公司 | 硬组合问题中的光学决策 | 985 | 1019 | 1053 | 1090 | x个 |
反恐精英? | 查尔默斯 | 克里斯托斯·迪米特拉卡基斯 | 年少者 | 广义域中的最优决策 | 2285 | 2300 | 2411 | 2465 | 2599 |
反恐精英 | 查尔默斯 | 黄建忠 | 年少者 | 节能算法 | 1000 | 1032 | 1077 | 1104 | 1170 |
反恐精英 | 查尔默斯 | 格雷厄姆·坎普 | PRG甲基氢 | 支持治疗性蛋白质脱免疫的结构模型 | 1090 | 1120 | 1159 | x个 | x个 |
反恐精英 | GU公司 | 丹尼尔森、尼尔斯·安德斯 | 年少者 | 实用嵌套归纳法和共归纳法 | 698 | 1108 | 1222 | 1254 | 1399 |
装货单 | 查尔默斯 | 帕特里克·詹森 | PRG公司 | 程序和证明的强类型库 | 993 | 1005 | 1049 | 1093 | 1174 | 20%的Patrik+80%的新博士生。JPB联合申请人。 |
装货单 | 查尔默斯 | 穆阿·约翰逊 | 年少者 | 程序推理的理论探索 | 921 | 931 | 974 | 998 | 1072 |
装货单 | 查尔默斯 | 劳拉·科瓦茨 | 年少者 | GenPro:通过符号消除生成和证明程序属性 | 1062 | 1076 | 1123 | 1169 | 1229 | 20%劳拉+80%新博士生+旅行/笔记本电脑/博士考试。 |
装货单 | 查尔默斯 | 科恩林德斯特伦·克莱森 | PRG公司 | 基于证明的测试——使用证明技术实现复杂算法的自动化测试 | 922 | 870 | 920 | 931 | 1004 |
装货单 | 查尔默斯 | 马格纳斯·迈伦 | 年少者 | 系统验证-最后一英里 | 506 | 961 | 993 | 1046 | 531 |
装货单 | 查尔默斯 | 约瑟夫·斯文宁森 | 年少者 | 高效的数组转换 | 968 | 981 | 1024 | 1048 | 1125 | 20%约瑟夫+80%博士生 |
装货单 | 查尔默斯 | 王、孟 | 年少者 | 免费提供源代码级工具支持 | 1042 | 1057 | 1105 | 1133 | 1213 | 20%孟+10%埃米尔(联合申请人)+80%博士生 |
装货单 | GU公司 | 杰拉尔多·施奈德 | PRG公司 | 合同的正式分析和监测 | 875 | 861 | 922 | 992 | 1085 |
东南方 | 查尔默斯 | 博世,Jan | 基础设施公共拨款 | 四十: 利用大数据加速科学发展。 | 2103 | 2178 | x个 | x个 | x个 |
东南方 | GU公司 | 克里斯蒂安·伯杰 | 年少者 | EXPRESSO-探索回归模拟的优化策略 | 924 | 921 | 1020 | 1076 | x个 |
东南方 | GU公司 | 理查德·伯恩森·斯文森 | 年少者 | 敏捷软件工程中的创造力框架-CASE | 1169 | 1201 | 1304 | 1295 | 1490 |
东南方 | GU公司 | 米歇尔·乔德隆 | PRG公司 | 软件设计缺陷的自动优先级排序 | 1062 | 1043 | 1150 | 1208 | 1317 |
东南方? | 查尔默斯 | 罗加德·赫尔达尔 | PRG公司 | 通过软件建模工具进行下一代软件开发 | 1372 | 1397 | 1455 | 1495 | 1586 |
东南方 | GU公司 | 米罗斯瓦夫·斯塔龙 | PRG公司 | 通过自动识别和防止隐式体系结构依赖性来防止体系结构侵蚀。 | 1122 | 1520 | 1135 | x个 | x个 |
东南方 | GU公司 | 马提亚斯·提希 | 年少者 | CORAL-架构和质量模型的协同进化 | 919 | 887 | 999 | 1020 | 1163 |
东南方 | GU公司 | 理查德·托卡尔 | PRG公司 | 结构化方程建模在软件工程研究中的开发和使用 | 1155 | 1177 | 1211 | 1246 | x个 |
资源:
预算近似值:
2012年CSE.chalmers.se VR预算表去年(2011年),它给出了以下数字(不包括旅行、设备)
如果授予 | 670kkr/年 | 800kkr/年 | |
支付 | 44% | 52% | Bitr.prof的 |
或 | 59% | 70% | PostDoc的 |
或 | 81% | 97% | 一个博士生 |
注意“或”——如果你想要两个类别的工资,你需要进一步降低。例如,对于80%的博士生和9%的Bitr.prof来说,800kkr就足够了。
2010年授予的典型项目为670kr/年和800kr/每年。