VR2009年

VR 2009批准的申请

(另请参见2008年VRVR2010型)

部门。类型姓氏名字标题20092010201120122013注释
总工程师猛撞斯坦斯特罗姆CHAMPP:CHalmers自适应多核处理器项目3 714 0003714万1 857 0001 857 000
总工程师印度弗亚林托拜厄斯应用程序内容交付网络中内存web缓存的并发控制策略 学校学校学校学校监理。根据S。
SET(设置)猛撞休斯约翰使函数编程发挥作用:使用领域特定语言进行软件设计和验证3714万3 714 0001 857 0001 857 000
SET(设置)印度佩尔松安德斯实时嵌入式软件的领域特定语言 学校学校学校学校监理。玛丽·S
反恐精英项目戴比杰彼得证明和程序的类型 735 000735 000735 000
纳秒项目奥林托尔用于优化数字无线网络性能的联合网络和信道编码 750 00000
CSE公司总计  所有新项目一起7 428 0009 817 00053万3千55 353 000904 000

四年总金额:28855000瑞典克朗

资料来源:NT 2009-10-29的VR决策(Excel表格及所有拨款)

图例:

  • Ram=多项目拨款(ramanslag)
  • 项目=项目拨款
  • Ind=工业博士职位
  • schablon~=450kSEK/y“金额:1808kSEK的标准补助金,用于完成全日制研究生学习,包括增值税(如适用),加上瑞典研究委员会和瑞典高等教育协会(SUHF)之间达成的协议增加HEI的管理费。补助期:最长五年。”(引用自工业博士生项目VR说明)

提交给VR 2009的其他申请

部门。类型姓氏名字标题注释
总工程师猛撞拉森-埃德福斯高性能集成电路的碳纳米管三维集成
总工程师项目拉森-埃德福斯限制非标度电路可变性的方法
总工程师项目阿萨森乌尔夫利用GPU进行通用并行计算-重点关注内存访问模式
总工程师项目斯文松拉尔斯波动配电环境下逻辑电路的时序分析
纳秒猛撞Tsigas公司菲利普斯嵌入式多核系统高效编程的数据流模型和无锁数据结构
纳秒项目帕帕特里安塔菲卢码头并行编程中的细粒度同步和内存模型,或“帮助并行程序员避免使用激进的内存模型带来令人讨厌的意外”
SET(设置)猛撞沙子大卫基于语言的安全
SET(设置)项目克莱森科恩QuickSpec:自动生成规范
SET(设置)项目杨松帕特里克高效的通用程序和规范
SET(设置)项目希兰玛丽上下文程序生成:函数编程的一个应用
SET(设置)项目哈内尔雷纳可视化符号调试器
SET(设置)六月斯韦宁松约瑟夫树融合
SET(设置)国际单项体育联合会阿克塞尔松埃米尔改进数字信号处理算法开发的函数编程导师Mary S
反恐精英猛撞科康蒂埃里证明和程序的类型
反恐精英项目坎普格雷厄姆SurfMatch:高效的高分子表面搜索
反恐精英项目兰塔阿尔奈语义网中的多语翻译
反恐精英项目韦德林达格生物分子系统动力学模型的算法辨识
反恐精英六月诺雷尔乌尔夫依赖类型的实用编程
反恐精英六月达列维丹尼尔计算宏基因组学:微生物世界概览
身份证件项目弗杰尔德莫顿在有限的物理空间中自由行走
中压六月Gennemark公司彼得从实验数据中识别动态模型并应用于系统生物学和药物计量学

图例:

  • Ram=多项目拨款(ramanslag)
  • 项目=项目拨款
  • Jun=初级研究员职位
  • Ind=工业博士职位
  • IFA=工业协会程序。(包括Fo.Ass.)