工作和学生待遇

FBK开设了一个软件开发职位。这些活动的范围将包括工业、技术转让或研究项目，并将侧重于以下一个或多个主题：支持……的软件开发。。。

FBK在复杂控制系统的形式验证领域开辟了一个研究领域，致力于以下一个或多个主题：形式验证技术的开发及其在基于模型中的集成。。。

FBK为一位研究人员开辟了一个新的位置，以研究基于模型的自主系统设计这一主题。研究主题包括：基于模型的设计、验证和确认，以及自治系统的测试模型。。。

FBK为软件开发人员开辟了一个新的岗位，使其能够从事基于模型的自主系统设计，设计、实现、测试和执行软件维护，并进行启发式和形式化。。。

一个初级软件开发人员的新职位已经空缺。这些活动将是与铁路领域重要的国家参与者合作开展的工业项目的一部分。活动的重点是。。。

一个高级软件开发人员的新职位已被录用。这些活动将是与铁路领域重要的国家参与者合作开展的工业项目的一部分。活动的重点是。。。

与Genova大学（安全、风险和脆弱性博士项目）合作，开设了一个新的博士职位，主题是混合系统的基于模型的安全评估。基于模型的安全评估。。。

开放的研究方向是自动化规划和调度领域。预期活动包括开发基于启发式搜索、机器学习的新型时间规划和/或调度技术。。。

这些活动的范围将包括工业、技术转让或研究项目，并将侧重于以下一个或多个主题：支持设计、验证、确认的软件开发。。。