[ LOGTECHEDU公司 |逻辑CS ]

LOGTECHEDU公司

我们目前有学士和硕士学位的空缺林茨理工学院项目逻辑技术计算机科学教育（LOGTECHEDU）从2018年开始执行至2020年研究所形式化方法和验证(FMV（飞行管理车辆）,阿明·比尔和马蒂娜·塞德尔)和符号研究所计算(RISC公司,沃尔夫冈施莱纳和沃尔夫冈·温斯泰格)与MINT/STEM教育部合作林茨学校教育类(芭芭拉萨比策和马库斯·霍恩瓦特).

有关更多信息，请参阅https://fmv.jku.at/logtechedu网站.

逻辑CS

在我们的博士学院计算机科学中的逻辑方法（逻辑CS）由资助FWF公司我们有几个博士生空缺，我们仍在填补在新的资助期内，林茨至少有一家，从2018年秋季。

我们对有深度的学生特别感兴趣执行决策程序或相关程序的经验技术或经证实的优秀实施技能和兴趣在处理逻辑相关主题时。我们将继续寻找直到职位空缺。

如果您感兴趣，请联系阿明·比尔或马蒂娜·塞德尔了解更多信息或者退房网址：http://logic-cs.at/phd.