ソフトウェアエンジニアリングとプログラム検証のための研究所を作成する目的は、ソフトウェアシステムの信頼性の高い指標を確保するための（数学的）理論、方法、および実用的なツールの開発と、プログラムおよび形式的方法の静的分析の分野での科学者のトレーニングです。
大学の研究室は、イタリアのレーザーサマースクールなどの国際的なイベントに積極的に参加し、独自のを組織して 、潜在的な従業員を研究活動に慣れさせています。
作業分野：開発とテスト、
ソフトウェア工学
ソフトウェアシステムと正式な方法の検証。
エッフェルは主要な開発言語です。
研究所の研究分野
∙並列および分散コンピューティング。
∙客観的なデザイン。
∙プログラミング言語と仕様。
∙ソフトウェアアーキテクチャ。
∙モデル検査と時相論理。
∙サービス指向アーキテクチャ。
∙マイクロサービス。
∙客観的なデザイン。
∙プログラミング言語と仕様。
∙ソフトウェアアーキテクチャ。
∙モデル検査と時相論理。
∙サービス指向アーキテクチャ。
∙マイクロサービス。
必要条件
∙大学院生のコンピューターサイエンスの学士レベル-修士号、若手研究者の場合-博士号
∙数学、アルゴリズムの理論、コンパイラ、オペレーティングシステム、ソフトウェアエンジニアリング、プログラミングの知識。
∙英語のレベルは中級以上です。
∙Java、C ++プログラミング言語の知識（Eiffelの知識は履歴書を検討する際にプラスになります）。
∙数学、アルゴリズムの理論、コンパイラ、オペレーティングシステム、ソフトウェアエンジニアリング、プログラミングの知識。
∙英語のレベルは中級以上です。
∙Java、C ++プログラミング言語の知識（Eiffelの知識は履歴書を検討する際にプラスになります）。
主な責任
研究の実施、科学論文の執筆、30％は助教授としての指導。
給与90-160 TR インタビューの結果によると。
詳細はこちら 。