Відкриті вакансії в лабораторії програмної інженерії

Університет Иннополис запрошує самих талановитих аспірантів (що мають або закінчують отримання ступеня магістра в університеті) і дуже амбітних кандидатів (які мають або закінчують здобуття наукового ступеня кандидата наук) для участі в передових дослідження в області програмної інженерії в лабораторії видатного французького вченого професора Бертрана Мейєра.

image

Метою створення лабораторії програмної інженерії та верифікації програм є розробка середовища для програм високої надійності, а також підготовка наукових кадрів.

Лабораторія Університету бере активну участь у міжнародних заходах, таких як літня школа розробки програм в Італії Історія, і організує власні для ознайомлення потенційних співробітників з її науковою діяльністю.

Сфера роботи: розробка та програмування, програмна інженерія, перевірка програмних забезпечень і формальні методи. Eiffel — основний мова розробки.

Області досліджень лабораторії• паралелізм;
• сталість і розвиток;
• об'єктивно-орієнтоване програмування;
• мовна проектування і його прогрес;
• архітектура ПЗ;
• модельна верифікація і часова логіка;
• сервісно-орієнтоване програмування;
• микросервисы.
Вимоги• рівень бакалавра з комп'ютерних наук, для аспірантів — ступінь магістра, для молодших наукових співробітників — докторська ступінь;
• знання математики, теорії алгоритмів, компіляторів, введення даних, операційних систем, програмної інженерії, програмування;
• рівень англійської мови не нижче Intermediate;
• володіння мовами програмування Java, C++, Eiffel (буде плюсом).
Основні обов'язкиПроведення наукових досліджень, написання наукових праць, 30% часу викладання в якості асистента професора.
Заробітна плата 90-160 т. р. за результатами співбесіди.

Подробиці тут.

Джерело: Хабрахабр

0 коментарів

Тільки зареєстровані та авторизовані користувачі можуть залишати коментарі.