工程与自然科学学院计算机科学系林茨约翰尼斯开普勒大学邀请申请该校的永久全职职位Armin Biere成立的形式模型与验证研究所（FMV）。

我们正在寻找在以下领域工作的候选人

• 软件和硬件的正式验证或综合
• 形式验证的技术和工具（例如，模型检查、等价性检查、演绎验证、符号执行）
• 形式化模型和语言（例如，基于逻辑的语言、图转换系统、Petri网、进程代数）
• 自动推理和决策程序（例如，SAT、SMT、一阶逻辑、交互式定理证明）
• 形式验证或综合的理论基础（例如，计算逻辑、复杂性理论、离散结构、博弈论）
• 验证和综合的应用，如并发/分布式系统，网络物理系统、程序和协议分析、生物应用和量子计算和人工智能等未来技术
• 基于模型的测试和运行时验证
• 人工智能技术的形式化分析与验证
• 形式推理的概率和统计方法

欢迎非正式咨询，可发送至martina.seidl@jku.at