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