Полное наименование: Funded PhD position in Program Analysis, Verification or Systems
Департамент вычислительной техники (The Department of Computing) Имперского колледжа Лондона (Imperial College London) является ведущим факультетом компьютерных наук среди университетов Великобритании и неизменно получает наивысший исследовательский рейтинг. В оценке REF 2014 года факультет занял третье место (1-е место в таблице интенсивности исследований, опубликованной The Times Higher) и получил оценку «отлично» в предыдущей общенациональной оценке качества преподавания.
Приглашаются заявки на соискание ученой степени доктора философии (PhD) в группе надежности программного обеспечения (Software Reliability Group) под руководством доктора Кристиана Кадара (Dr. Cristian Cadar).
Департамент ищет мотивированных соискателей, заинтересованных в получении степени PhD в области программного анализа, проверки или программных систем (program analysis, verification, software systems).
Исследование будет частью проекта гранта ERC Consolidator PASS (анализ программы для безопасной и надежной эволюции программного обеспечения) и будет сосредоточено на том, чтобы помочь программным системам развиваться безопасно и надежно.
Чтобы подать заявку, вам необходимо иметь хороший опыт работы с компиляторами и / или операционными системами, а также опыт создания и работы с крупными программными системами и инструментами. Ожидается, что вы ознакомитесь с исследованиями Software Reliability Group, особенно с проектами в области анализа и проверки программ.
Ожидается, что соискатели будут иметь степень магистра первого класса или с отличиями (First Class or Distinction Masters level degree) или эквивалент в соответствующих научных или технических дисциплинах, таких как информатика или математика. Кандидаты должны свободно владеть устным и письменным английским языком.
Позиция PhD полностью финансируется, покрывая стоимость обучения, дорожные расходы и выплачивая конкурентоспособную ежемесячную стипендию.
Позиция доступна для студентов из Великобритании, ЕС и из-за рубежа.
Приветствуются ранние заявки. Также приветствуются уточняющие запросы об этой позиции, которые можно направлять по адресу c.cadar@imperial.ac.
Работа будет осуществляться в кампусе Южного Кенсингтона в центре Лондона, рядом с Гайд-парком и музеями Южного Кенсингтона.
Кандидатам рекомендуется посетить страницу PhD для получения общей информации о Департаменте вычислительной техники.
Больше информации на сайте.