Job 中心Wiskunde Informatica(CWI) - 博士位置(3.0 fte)

这条职位空缺由翻译工具自动翻译，故在连贯性上可能与原文有偏差。请参照英语原文.

这条职位空缺由翻译工具自动翻译，故在连贯性上可能与原文有偏差。请参照英语原文.

位置描述(SE4MCP)大规模多核心处理器能使大量粗粮代码的同时实行，并且在竞争者和协同并发进程中需要软件相互作用的协调的抽象观念，以及在处理和存储单元之间。这计算能力的有效的使用，需要基于concurrency(例如，软件交易的存储器)的新模型和使现有的计划适应新的新方法的先进的编程语言的发展计算的模型。当concurrency在计算机科学方面有一个悠久历史时，concurrency的研究的古典上下文不同于由平行的多核心的片提供的那，由提供多核心片的concurrency的刻度躺在那当代并发程序模特以外comprehensibly 能表示的大小的命令。多穿过，例如，如果今天是最受欢迎的concurrency 模型，因为对于编程语言来说，支持它需要小句法的变化。不过，这样的一名模特具有给多核心处理器的编程的小好处，天气使巨大粗粮concurrency并且保持一工作的合理平衡交叉多非常复杂的核心取得可伸缩性的说明。为程序员提供工具利用多核心系统的能力现在是最关心的。一种有希望的方法包含跟新综合，分析并且高级模型和语言程序员表示concurrency作为明确，有形，compositional 人工制品的证实方法一起开发新编程模型，并且平台依靠的可执行的代码能后来产生。工程的个研究的方向在这内：1。允许在抽象观念的高的水平明确地指定相互作用协议的新compositional编程模型和范例。2 . Compositional，可调节的证实，分析并且为关于基于正规方法的正确性和服务质量特性的理论测试技术。全部并发事件分配申请的位置描述(QoSDDSC)分享使他们与顺序非分配的申请不同的两个主要概念的问题：(1)协调和(2)部署。协调涉及怎样个别活动涉及这样的一个应用的多个并行进程或者演员一同聚结产生前后一致的全部。部署涉及一种每个过程或者演员跑的地方的(静止或者动态)说明和它开始使用多么(其他)资源，从而运转的应用满足一套要求的起作用和服务质量(QoS)约束。Reo是由不同，分配的组成部分和服务组成的尖端的并行系统的compositional 结构的一种有表现力外源的协调语言。Reo的各种各样的语义的模型已经被发展，每一个用于实现一个不同的目的。一次日益增多的工具的收集，从图表的编辑，到视觉动画，模范收款员，代码生成程序，等等，已经被基于这些模型建造，包括一套日食塞子-inscalled 日食协调工具(ECT)。部署需要一个前后一致的正式的模型建筑，起作用，和一个应用的QoS 要求，一相应可得到的计算的资源和他们的房地产并且在涉及一个合适的解决一个通常underspecified约束满意问题的方法的这两个之间的绘图的模特。实际上，这QoS 参数的系统能并且影响显著方式功能性。一解决建立模型和分布系统的建设的综合方法要求考虑两个职能和QoS一系统的方面同时在相同模式内的新正式分析技术。

这些位置候选人必须有至少计算机科学一个硕士学位，数学头衔，或者有关领域，带有一个强大的背景用正规方法，软件工程，concurrency和分布系统。给候选人的另外的更好的资格包括先进的编程技能，有系统的实际经验和软件工具发展。

在他们的各自的工程期间CWI 将(每周38小时)全职雇用学生的博士和将得到一份薪水。薪水金额根据"CAO-onderzoekinstellingen" 并且与经验同量。例如，这当今起薪给第一年博士学生是大约2037欧洲/月。这份薪水将包括一次增加的加薪每随后的年。除薪水以外，CWI提供非常有吸引力和灵活的聘任期限，比如一项集体健康保险，养老基金，等等

CWI是在位于荷兰，阿姆斯特丹的数学和计算机科学方面的国际上著名的研究院。焦点在基本的研究问题上，来源于社会需要。研究在18个研究主题过程中进行。在你也能发现研究所的年度报告的websitewhere上有更多的关于这些主题的信息。一个这研究的实际的部分在国家或者国际计划的框架里进行。CWI与工业和学术界保持极好关系，两个在荷兰以及在国外。在在CWI的他们的研究事业之后，越来越多年轻的工作人员在这些部门找工作，例如用基于研究的副产品公司起因于CWI。当然，图书馆和计算的设备是第一流的。CWI是非科学的对它的人员的服务包括计划的事业，训练和课程，在找到住房过程中的帮助，以及定做的解决可能偶尔出现的问题的方法。

在CWI SEN3在动态民族是国际上认出的研究协调模特和语言的研究人员的，同时和分布系统，面向服务和基于零部件软件工程和软件组成。在SEN3里的活动是理论，基础，和在计算机科学方面的试验工作的富有成效，健康的混合，在包括计算的模型的数学基础，正规方法和语义学，远景研究软件系统的实施，以及他们的真正生活的应用的范围里范围。

对于更多的技术关于这些位置的信息来说请联系：教授F. Arbab，打电话+31-20-592∶-4056，电子邮件farhad@cwi.nlProf。F. 德博尔，打电话+31-20-592∶-4139，电子邮件F.S.de。Boer@cwi.nlProf。J. Rutten，打电话+31-20-592∶-4116，电子邮件Jan.Rutten@cwi.nl