Как учиться на мехмате
Правила поступления:
мехмат МГУ
Для кого
Чтобы поступить на мехмат МГУ, человеку нужны особые показания. Сюда поступают те, кто хочет разобраться в причине возникновения интеграла и сущности процентов. Другими словами, мехмат — царство для теоретиков математики, здесь решают примеры не для того, чтобы применить на практике, а потому, что сам процесс кажется увлекательным. Поэтому подумайте прежде, чем вступить в сообщество мехматян. Это касается всех кроме выпускников СУНЦ, кировского математического лицея, 57-й школы и лицея № 1511 при МИФИ — велкам, собратья.
Совет остальным — присмотритесь к альтернативам. Например, к СПбГУ с его сильнейшей командой по программированию, которая в этом году заняла первое место на главном чемпионате мира по программированию ACM ICPC. Именно отсюда люди попадают в содружество разработчиков Павла Дурова. В Москве неплохое программирование преподают в Физтехе. Если же вам нужен успех, карьера и деньги — существует НИУ ВШЭ, факультет бизнес-информатики. Кстати, там есть базовая кафедра «Яндекса», которая поможет неплохо стартовать.
Отбросьте все свои грандиозные иллюзии по поводу нашего факультета — здесь не учат быть джобсами и презентовать новые айфоны в черном свитерке. Тут совсем другая жизнь — жизнь маттеории. Мы считаем руками, мало интересуемся модой и часто выглядим смешными в бытовых вопросах. Не слушайте советов учителей про «любовь к техническим наукам» — одной подростковый любви недостаточно, чтобы выдержать пять лет напряженных ежедневных нагрузок. Чтобы влиться в мехмат, к математике нужно относиться с завороженным интересом — как к головоломке по перекладыванию спичек в детстве.
Как поступить
На парте в одной из аудиторий мехмата было написано: «Секрет поступления прост: извилистые и подвижные МОЗГИ». По-моему, очень емко и хорошо. Наш факультет — один из немногих в МГУ, который не потерял роскошной возможности принимать действительно умных ребят независимо от их материального положения. Почти все преподаватели считают ЕГЭ по математике некой условностью, отпиской для Минобра. Поэтому основное внимание уделяется именно дополнительному экзамену по математике. Он состоит из трех разделов: основные понятия, алгебра и геометрия. Мой совет — найти толкового студента мехмата на сайте по подбору репетиторов где-нибудь в сентябре последнего школьного года и планомерно решать. Идеальная длительность занятия — 80 минут, за это время можно решить 8-10 заданий допэкзамена. Я всегда во время подготовке разделял лист А4 на две части — костяк задания и ключевые преобразования примера, после которых он упрощается. Привыкайте писать разборчиво, с развернутым доказательством каждого шага.
Не советую брать гаджеты на экзамен — многие преподаватели мехмата воспринимают списывание с телефона как личную обиду и каждый раз каждый выдворяют особенно изобретательных студентов, записывая фамилию в особый список.
Олимпиады
30% студентов мехмата — олимпиадники. То есть, поступить на факультет в обход основного конкурса вполне реально. Победители олимпиад школьников получают льготу I степени и зачисляются в вуз без вступительных испытаний на специальность, соответствующую профилю олимпиады. Льгота второго и третьего порядка — это право быть приравненными к лицам, набравшим 100 баллов за ЕГЭ по общеобразовательному предмету, соответствующему профилю олимпиады. Например, в 2014 году победители (льгота I уровня) олимпиады школьников «Ломоносов» по механике и математическому моделированию при условии, что их баллы ЕГЭ по математике и физике не менее 65, одновременно получают 100 баллов по дополнительному испытанию на мехмат и 100 за ЕГЭ по физике. Баллы же призерам «Ломоносова» автоматически увеличиваются до 100 по профильному предмету олимпиады. Весь список утвержденных олимпиад и льгот на 2014 год можно посмотреть здесь — rsr-olymp.ru.
Система обучения
Пересдавая в очередной раз классическую дифференциальную геометрию, я наблюдал за соседней партой парня, который плакал, смотря в окно. Я подумал, что ему нужна помощь, и предложил свою линейку. «Ты думаешь, эти слезы из-за того тройбана, который я пересдаю, чтобы получить красный диплом? — ответил парень. — Совсем нет. Скажи мне лучше, как я объясню всем этим людям на улице, что такое точка бесконечного разрыва, когда там всюду жизнь?» Бедолага, как и многие выпускники мехмата, остался непонятым простыми обывателями и боялся этого: упражняя свой мозг, он забыл, что суха наука, а древо жизни зеленеет.
Другими словами, на мехмате свой мир — трудный универсум решений и поиска, оторванный от ежедневных проблем человечества. Первые два курса жизнь подчинена расписанию, потрепанный листочек с которым висит на такой же потрепанной стене. Большая часть жизни — лекции, нескончаемые лекции. Ты их пока не можешь позволить себе пропускать, потому что еще зеленый, боишься вылететь и начать побираться. Этот адок переписанных тобой формул становится терпимее после семинаров. К третьему курсу мгла отходит и ты начинаешь врубаться. Вырисовываются самые престижные схемы. Например, поток защиты информации потихоньку разобрался с простейшим кодированием, добивает криптографию, зубрит протоколы. У них есть совместная программа с ГК «Ланит», люди щупают почву, чтобы устроиться. На кафедре алгебры и математической логики все сильнее нажимают на математику, а ребята все больше ударяются в подготовку к международным олимпиадам, забавно объясняются с загорелыми американцами, которых занесло сюда по обмену. Самые одаренные студенты с кафедры механики вплотную уходят в разработку роботизированных платформ и конструируют ходячих мутантов. Больше всего карьеристов на кафедре гидромеханики — тут работает совместная программа с Boeing Russia, привлекающая нищих математиков открытыми вакансиями. На все это презрительно смотрят худые парни с кафедры высшей алгебры и теории вероятностей — сливки факультета, решающие, как машины.
Отдельная когорта — «листки». Это ребята, которым преподы на семинарах и экзаменах просто дают список заданий повышенной сложности. Они молча сидят и решают, их никто не трогает, как святых коров в Индии. К концу обучения все понимают, что на мехмате для пятерки на экзамене достаточно уверенно воспроизвести выжимку лекции. В остальное время студенты ищут пути, чтобы избежать механической рутины. Скучные пары без зазрения совести прогуливаются, личная жизнь налаживается, а человек просто начинает интенсивно читать учебники за две недели до сессии.
Стипендия
Платят немного — в среднем 3-4 тысячи рублей. Иногда подкидывают бонусы на праздники. Многие шутят, что у мехматян стипендия немного выше, потому что Садовничий — наш выпускник и сочувствует трудягам-математикам.
Особенности тусовки
Скрюченных ботаников в очках на мехмате мало. В основном — нормальные парни с высоким мнением о себе. У многих — нотка высокомерия. Почти все уходят в иронию, чтобы не сойти с ума. Абсолютно все заводят хобби, отличное от специальности, зачастую это интенсивный спорт. На мехмате обязательная физкультура сохраняется до 4 курса, поэтому под серыми футболками у мехматян кубики. А в общаге вообще принято качаться. Футбол — прямо-таки факультетский спорт, бег и гандбол — новое местное увлечение, потихоньку накрывающее всех. Странные типы, которые разговаривают сами с собой имеются. Но тут это обычно — математические мысли приходят, когда ты ешь суп, стоишь в очереди в столовую, набираешь смску любимой и покупаешь билет на электричку. Поэтому разговор о погоде легко может перебить фраза «И тогда получается, что результат не уходит в ноль!»
Мехмат — мужской факультет. Девочек у нас — процентов 20% от курса. Многие не страшные, а даже симпатичные. В любом случае, в соседнем корпусе есть блондинки с филфака.
Трудоустройство
Не знаю, кто распустил сплетню, что русских математиков покупают американцы прямо после вручения дипломов. Нет, все ищут места сами, все лепят из себя блестящих специалистов сами. Есть школа «Яндекса», туда берут интересных парней с мозгами. Почти все выпускники начинают с русских компаний, а потом перетекают в Beagle, если предоставляется случай и остается холостяцкое положение. Но есть и те, кто продают душу «Яндексу» или «ABBYY» и фигачат по 10 часов в день. Основной же поток уже после 4 курса уходит в банки на разные позиции, становятся финансовыми аналитиками, программистами и тестерами в компании средней руки на 2-3 года. Потом, как правило, многие взлетают по карьерной лестнице — ничего не сделаешь, мозги работают как парашют и приучены летать, потому что главное здание МГУ — крутая высотка. Моя мама как-то сказала, что несмотря на то, что я сижу и считаю целыми днями, Россией управляют мировые компании, тот же Google. Я тогда улыбнулся и ничего не ответил, потому что в центральном офисе Google год назад меня встретила толпа русских программистов с бутылкой водки и криками «Эгегееей, Толяяян!».
Мехмат МГУ им. М.В. Ломоносова
Русский язык (ЕГЭ), математика (ЕГЭ), физика (ЕГЭ). Дополнительное вступительное испытание профильной направленности (математика).
Фундаментальная математика и механика (математика) — 323
Фундаментальная математика и механика (механика) — 305
Сложно ли учиться на мехмате хотя бы на 4?
Мехматяне до конца 3-4 курса живут в ФДС-ах. 5-тиэтажки в 2-х остановках от ГЗ (20 минут пешком).
Ваш вопрос: Сложно ли здесь учиться (на 4 хотя бы)?
я могу перефурмулировать так:
Сложно ли здесь учиться (на 3 хотя бы)?
и отвечу: да сложно, особенно на первых курсах, когда за то что пришел на экзамен тройки не ставят. Сам перересдавал матан 4 раза (по 2 раза в каждом семестре) и народу пересдающих то же было немало.
было было но прошло
Вообще-то 4ый курс живет уже в ГЗ.
про учебу: естественно, сложность зависит от того, к какому преподавателю попадешь. но таких, кто первый курс вообще не чувствует, нет. даже люди из очень высокопрофильных школ многое здесь слышат в первый раз. и те, у кого в школе был матан и очень подробная программа по математике, когда приходят сюда, разбирают все это за пару занятий и дальше школьные знания уже мало помогают )
чтобы учиться на 4, нужно ботать.
хотя если ботаешь, то и на 5 учиться не сложно.
Не хочу хвастаться, заканчивал Л2Ш, олимпиадник.
Имел нехилые проблемы со сдачей матана в первые 2 семестра, хотя материал знакомый был, мои одношкольники на мехмате то же далеко не сразу сдавали.
Относительно учиться «на 4» связка Добринская и Штерн(слава богу у не у меня) конечно позволит так учиться.
было было но прошло
было было но прошло
поэтому Гаврилов из первых рук рассказывал о вашем экзамене
было было но прошло
если не ошибаюсь 8-го января.
было было но прошло
На нашем курсе многие студенты первого потока получали по матану оценки «хорошо» и «отлично» за просто так и еще до начала сессии. А зачеты ставились почти всем, кто просто пришел. В нашем потоке похожая ситуация была на досрочном экзамене по линейке, действительному анализу, матстатистике.
This is like an expression of rage by the people,
who feel neglected and turned away by the system.
Обзор факультетов МГУ: механико-математический факультет
Высокий конкурс, математика, физика и физкультура, современное общежитие и красивые девушки. ☺
Где расположен
Мехмат располагается в первом корпусе главного здания МГУ по адресу Ленинские горы, д. 1. Факультет занимает 12–16 этажи, отдельные занятия проходят во втором учебном корпусе на 1-м и 4-м этажах.
Добираться до факультета удобнее всего от станции метро «Университет» автобусами №№ 1, 113, 119, 661 до остановки «Дом Культуры МГУ». Пешая прогулка занимает около 15 минут.
Общежитие
Иногородним, имеющим постоянную регистрацию за пределами 5-й зоны Московской железной дороги (это примерно 40–50 км от Москвы в зависимости от направления), предоставляется общежитие. Бюджетникам место в общежитии выделяется бесплатно, студенты, которые учатся на коммерческой основе, могут заселиться за плату при условии наличия свободных мест.
Как правило, первокурсников мехмата заселяют в «Дом студентов на Ломоносовском» по адресу Ломоносовский проспект, дом 27, корпус 11. Это современный многоэтажный жилой корпус, рассчитанный на 2700 студентов, в нём есть столовая, прачечная, тренажёрный и актовый залы, зоны отдыха и медицинский кабинет. Комнаты в общежитии двух-трёхместные, с отдельными кухнями и санузлами. От метро «Университет» до общежития ходит автобус 447, а до главного здания — 15 минут пешком по территории МГУ.
Направления обучения, экзамены, проходные баллы
На факультете два основных направления — математика и механика. Обучение ведётся по программе специалитета и длится 6 лет. Специалитет охватывает программу бакалавриата и магистратуры (4+2 года).
Экзамены на оба направления совпадают. Потребуется предоставить результаты ЕГЭ по математике, физике и русскому языку, а также сдать дополнительное вступительное испытание по математике.
ДВИ по математике — общее для всех факультетов, это письменная работа, которая оценивается точно так же, как ЕГЭ, по 100-балльной системе. Образцы ДВИ прошлых лет выложены на сайте факультета.
Количество бюджетных мест на математике — 268, на механике — 112. На платной основе зачисляют 60 и 30 студентов соответственно.
Проходной балл для поступления на мехмат колеблется год от года в пределах 300–335 баллов. В 2018 году на математику проходной балл был 333, на механику — 328. Это означает, что средний балл за ЕГЭ для поступления — 83.
Направление можно выбрать уже после окончания вступительных испытаний: если не хватает баллов для поступления на математику, можно подать заявление на механику.
Конкурс
Как видно из таблицы, опубликованной на сайте МГУ, с конца 1990-хх годов конкурс на мехмат неуклонно растёт. В новом тысячелетии лишь в 2005, 2010 и 2011 он опускался ниже 5 человек на место. В 2017 году на мехмат было подано более 4 тысяч заявлений, в 2018 году — 3,2 тысячи.
Льготы при поступлении
| Направление | Бюджетные места для поступающих на основные конкурсные места | Бюджетные места, выделенные для поступающих по особой квоте |
|---|---|---|
| Математика | 241 | 27 |
| Механика | 100 | 12 |
По особой квоте поступают дети-инвалиды, инвалиды I и II групп, дети-сироты и дети, оставшиеся без попечения родителей. Полный список льготных категорий можно найти на сайте МГУ.
Дополнительные баллы при поступлении на мехмат начисляются:
Кроме того, льготы при поступлении предоставляются победителям и призёрам олимпиад, входящих в перечень олимпиад школьников, дающих право на льготы при поступлении в вузы.
Победители и призёры Всероссийской олимпиады школьников по математике, физике, информатике поступают на мехмат без экзаменов, им достаточно представить в приёмную комиссию аттестат и диплом олимпиады.
Победители и призёры Всероссийской олимпиады школьников по русскому языку, получают 100 баллов за ЕГЭ по русскому языку, но только в случае, если с момента проведения олимпиады прошло не более четырёх лет.
Также льготы предоставляются победителям и призёрам олимпиад из перечня олимпиад школьников 2018/2019 по математике, физике и комплексу предметов, включающих математику и физику. В зависимости от конкретной олимпиады и профиля это либо зачисление без экзаменов, либо 100 баллов за ДВИ по математике/ ЕГЭ по физике. С подробным списком также можно ознакомиться на сайте МГУ.
Оплата обучения
В 2018 году обучение на мехмате стоило 310 500 рублей за семестр. Информацию о текущей стоимости необходимо уточнять в приёмной комиссии МГУ.
Немного истории
В нынешнем виде механико-математический факультет был создан 1 мая 1933 года. В этот день в МГУ была восстановлена факультетская система. Однако традиции математических исследований и преподавания математики в Московском университете уходят корнями в середину XVIII века. Фактически, нынешний мехмат вырос из одной-единственной кафедры, на которой читались курсы элементарной алгебры и геометрии, тригонометрии, основ механики, астрономии, оптики и гидравлики.
На протяжении XIX века уровень преподавания математики неуклонно рос, и к 1917 году в МГУ сложилась своя математическая школа. После революции 1917 года научная работа не остановилась. В 1921 г. в университете был создан Научно-исследовательский институт математики и механики. Продолжались исследования теории функций и теории тригонометрических рядов, теории вероятностей и теории чисел, были заложены основы советской топологической школы. Параллельно развивались исследования в области физики. Учёные из мехмата принимали участие в передовых оборонных и космических исследованиях.
На момент создания в 1933 году на механико-математическом факультете было девять кафедр — две кафедры математического анализа, дифференциальной и высшей геометрии, высшей алгебры, теоретической механики, гидромеханики, аэромеханики и теории упругости. С тех пор их количество увеличилось почти в три раза — на современном мехмате 25 кафедр. За почти 90 лет существования факультета он стал центром фундаментальных исследований в области теоретической и прикладной математики, механики и информатики.
О студенческой жизни
Студенты мехмата — дружный коллектив, на факультете есть свой студенческий профсоюз, который постоянно организует концерты, встречи, розыгрыши призов, спортивные соревнования. На факультете проходят самые разные мероприятия, от турниров по интеллектуальным играм до конкурсов красоты.
Кстати, вопреки предубеждению, на факультете учатся и девушки — их примерно 20% от всего числа студентов.
Что говорят, что пишут
О том, зачем поступать на мехмат
«На мехмате из-за большого масштаба факультета есть возможность более широкого выбора в науке и появляется больше возможностей для реализации себя не в науке». Сергей Морозов
Об учёбе
«По сути, первый семестр — попытка рассказать всю школьную программу нормальным языком. На этом этапе ребята из матшкол отдыхают, ребята из прочих ботают. Потом ботать приходится всем. А без любви к математике я вообще не знаю, что делать на мехмате. Сначала в неделю примерно 20 пар, из них 17 — разные сорта математики, 2 — физкультура и один английский. Без любви к математике заставить себя всё это выучить будет сложновато». Александр Рогачёв
«Не выдерживают в основном те, кто недостаточно уделяют времени учёбе. Я не встречал ни одного человека на мехмате, кто старался, но не выдерживал нагрузки». Глеб Фёдоров
«Первые два курса жизнь подчинена расписанию, потрёпанный листочек с которым висит на такой же потрёпанной стене. Большая часть жизни — лекции, нескончаемые лекции. Ты их пока не можешь позволить себе пропускать, потому что ещё зелёный, боишься вылететь и начать побираться. Этот адок переписанных тобой формул становится терпимее после семинаров. К третьему курсу мгла отходит и ты начинаешь врубаться». Светлана Герасева, редактор журнала «Куда пойти учиться».
О преподавателях
«Введение в математическую логику (кафедра дискретной математики). Помнится, этот предмет мне изрядно повыносил мозг, но Александр Борисович Угольников — один из лучших лекторов, которые у меня преподавали. Он обладал прекрасным чувством юмора, но лекции читал со скоростью звука, только успевай записывать. Кстати, это единственный преподаватель из тех, что я видел, который стирал за собой с доски после лекции». ©
О физкультуре
«Мехмат — уникальный факультет, где физкультура обязательна до конца 4-го курса! Ни на одном другом факультете такого нет. Сделано это с исключительно благой целью — чтобы студенты отвлекались от учёбы и не сходили с ума». ©
О физике
«У механиков два семестра общей физики, семестра четыре теоретической и аналитической механики, три семестра механики сплошных сред и физ-мех практикумы (аэродинамические трубы, пластичности, упругости, гидродинамика) (более чем много, и это я не всё вспомнил + спецкурсы, а их можно набрать любое количество)». Александр Рогачёв
О программировании
«Прогу освоить придётся по меньшей мере в объёме, достаточном для быстрого написания кода. Ну а если попадутся хорошие преподаватели, типа К.Ю.Богачёва, то освоить придётся гораздо больше и весьма крепко, это факт». © Александр Гаргянц
О студенческой жизни
«Скрюченных ботаников в очках на мехмате мало. В основном — нормальные парни с высоким мнением о себе. У многих — нотка высокомерия. Почти все уходят в иронию, чтобы не сойти с ума. Абсолютно все заводят хобби, отличное от специальности, зачастую это интенсивный спорт. На мехмате обязательная физкультура сохраняется до 4 курса, поэтому под серыми футболками у мехматян кубики. А в общаге вообще принято качаться. Футбол — прямо-таки факультетский спорт, бег и гандбол — новое местное увлечение, потихоньку накрывающее всех». Светлана Герасева, редактор журнала «Куда пойти учиться».
О трудоустройстве
«С трудоустройством проблем нет, в Москве мехмат очень ценится. Но главное — вы сами будете чувствовать себе цену после мехмата!» Глеб Фёдоров
«После мехмата большинство выпускников выбирают коммерцию. Идут в банковскую сферу, IT, финансовый сектор, консалтинг, всевозможными аналитиками». Глеб Фёдоров
«Достаточно зайти на любой ресурс с размещением объявлений о вакансиях и поискать по ключевым словам „хорошее знание математики“, „математик“, „теория вероятностей“, „статистика“. Выпускники мехмата работают во всех возможных крупных и не очень компаниях по всему миру». Александр Шкляев
Хотите получать новые статьи во «ВКонтакте»? Подпишитесь на рассылку полезных статей
Зачем вы хотите учиться на мехмате?
Теперь про ваше сообщение
было было но прошло
PS У меня такое ощущение, что вы не поступили на МехМат или вас оттуда выгнали и теперь вы хотите как-то успокоить себя тем, что этот факультет никому не нужен. Вот в этом вы как раз ошибаетесь.
PPS И перестанте излагать СВОИ проблемы как ГЛОБАЛЬНЫЕ проблемы всего образования в МГУ.
было было но прошло
So it goes. Такие дела.
Во-первых, это. Переформулируем: поскольку не так много народу каждый год идут с мехмата в науку, почему бы ими не пренебречь? Вот то ли дело те, кто пришел учиться примочкам в программировании. Пускай ребята, пришедшие на мехмат за математикой, ищут ее на факультативах, языки программирования людям нужнее!
Э нет, батенька. назвался клизмой, учи математику.
Тоже неверно, хотя и не столь очевидно
«Не покупайте эту книгу»
А занимать чужое место. Из более чем 400 человек, поступающих на ММ, от силы 40 не бросят науку после аспирантуры, из них 4, возможно, станут достойными учёными. Так что чужое место трудно занять, их полно.
Я слышал на одном из дней открытых дверей: В один колхоз попал Алгебраист-тополог с мехмата, он за год так оптимизировал систему полива, что позволил экономить до 80% выделенных средст на эту систему, не в ущерб качеству полива.
Ну и таких спорных утверждений, принятых вами за аксиому можно привести уйму. И поверте профессиональные CMS которые организуют связь с сайтом и его БД некоторую организацию целиком далеко не тупая и простая вещь как вы можете думать. За ее разработку платят десятки, а иногда и сотни тысяч уе.
было было но прошло
было было но прошло
We can offer several Post-doc positions (contracts between 18 and 33
months) in current and upcoming projects. The research will be performed
in the challenging context of distributed verification and verification
using (Parameterised) Boolean Equation Systems.
The TU/e has several vacancies for a Post-doc researcher, for a
duration of up-to 33 months, within NWO projects `A COMmon Framework
for the analysis of Reactive and Timed Systems’ (COMFORTS) and `A
Verification Grid for Enhanced Model Checking’ (VeriGem), in the
research group OAS (Prof.dr.ir J.F. Groote, TU/e). Ideally these
positions should be filled by _1 September, 2006_. Similar research
opportunities are expected at the CWI, Amsterdam (Centrum voor
Wiskunde en Informatica) in the near future, in the research group
SEN 2 (Dr. J.C. van de Pol, CWI, TU/e).
Candidates should have a PhD in computer science and be familiar with
the use and logical background of model checking as a tool for verifying
reactive and distributed systems, with an interest in fix-point theory,
theorem proving and distributed and grid-based computing. Fluency in
English and social skills are prerequisites.
Terms of employment
The salary and terms of employment are in accordance with the «CAO
Nederlandse Universiteiten». TU/e offers attractive terms of employment
and secondary labor conditions.
Information and Application
Applications, including a CV, a link to a home page, and a list of
publications, can be sent via e-mail to:
— Prof.dr.ir. Jan Friso Groote (J.F.Groote@tue.nl) or
— Dr. Jaco van de Pol (Jaco.van.de.Pol@cwi.nl) or
— Dr.ir. Tim Willemse (timw@win.tue.nl).
Applications must be sent before August 16th, 2006. More information
about the projects and the research groups is available upon request
and at the following websites:
For the OAS group at the TU/e:
http://www.win.tue.nl/oas (for the group OAS),
For the SEN2 group at CWI:
http://www.cwi.nl/SEN2/
For the COMFORTS project:
http://www.cs.ru.nl/
For the VeriGem project:
http://www.ctit.utwente.nl/research/projects/national/nwo/focus/verigem.doc/
1 post-doc and 2 PhD Positions for the NWO GLANCE project
Workflow Management for Large Parallel and Distributed Applications,
with a particular emphasis on the grid computing.
(
http://www.hersenenenleren.nl/nwohome.nsf/pages/NWOA_6R7FYJ_Eng?opendocument&nav=GLANCE_15_NL
)
The Architecture of Information Systems group of the Computer Science
department of Eindhoven University of Technology (TU/e) and the SEN-3
group of the CWI (Amsterdam) are looking for candidates for the project
(1 PhD student and 1 post-doc at the TU/e and 1 PhD student at CWI). The
project team includes Prof Dr Ir W.M.P. van der Aalst, Prof Dr F. Arbab,
Prof Dr K.M. van Hee, Prof Dr D.C. Marinescu (associate member), Dr A.
Serebrenik and Dr N. Sidorova.
For PhD positions we are looking for candidates who meet the following
requirements:
* A MSc in Computer Science;
* Background in formal methods (e.g., Petri nets or process algebra),
workflow management systems, and/or experience in applying process
modeling techniques such as UML is a plus;
* Well-developed social skills directed to work in a team;
* Fluency in spoken and written English.
The requirements for a post-doc are the following:
* A PhD in Computer Science;
* Experience in grid computing;
* Independent and well-structured working style;
* Well-developed social skills directed to work in a team;
* Fluency in spoken and written English.
Offered for each PhD position:
* A full time, temporary appointment for a period of 4 years;
* A gross salary of Ђ 1.933 per month during the first year up to Ђ
2.472 during the fourth year of the appointment;
* Attractive secondary labor conditions (among other things excellent
technical infrastructure, saving schemes, and excellent sport facilities);
* A coverage of the costs of publishing your dissertation.
For a post-doc position:
* A full time, temporary appointment for a period of 2 years;
* Gross monthly salary is between Ђ 2.708 and Ђ 3.554 per month, based
on knowledge and experience;
* Attractive secondary labor conditions (among other things excellent
technical infrastructure, saving schemes, and excellent sport facilities).
You can obtain further information about this position by addressing
your enquiries to:
Natalia Sidorova
n.sidorova@tue.nl
tel.: +31 (0)40 247 3705
If you are interested in one of the positions, please send your e-mail
application to n.sidorova@tue.nl. Your application should include:
* A description of your interest in the project, including your
motivation and specific qualifications.
* A curriculum vitae, including an abstract of your graduate thesis for
PhD student positions and of your PhD thesis for the post-doc position.
* Copies of your diplomas together with the lists of grades, and other
relevant certificates.
* Letters of recommendation from your teachers or employers.
The application deadline is October 1, 2006.
New Ph.D. Student Positions
ULTRA group (Useful Logics, Types, Rewriting, and their Automation)
Computer Science Department
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, Scotland, UK
The HTML version of this posting can be found at:
Description of the Positions
Changes since our announcement earlier this year: (1) Additional
positions have become available. (2) Additional possible research
topics have been included.
Several new Ph.D. student positions are available in areas involving
research into the theories of logics, types, and rewriting and their
applications in reasoning about computer systems and mathematics. The
positions are at Heriot-Watt University[1] in the ULTRA (Useful
Logics, Types, Rewriting, and their Automation) group[2] in the
Computer Science Department[3] in the School of Mathematical and
Computer Sciences[4] at Heriot-Watt University in Edinburgh[5], the
capital of Scotland[6]. The Ph.D. supervisors will be either Fairouz
Kamareddine[7] and/or Joe Wells[8].
Available research topics include work on any of the following:
* The Poly*[9] polymorphic retargetable type system for process and
mobility calculi, aimed at the goal of supporting modular reasoning
and compositional analysis for systems involving mobility and
concurrency (such systems can include combinations of hardware,
software, people, etc.).
* The MathLang[10] framework for computerizing mathematical text.
MathLang tries to keep the computerization as close as possible to
the mathematician’s text while at the same time providing a formal
structure supporting mathematical software systems (e.g., computer
algebra systems, theorem provers, etc.). Possible MathLang work
includes:
+ Building libraries of computerized books of mathematics.
+ Developing bridges between MathLang and proof checkers (e.g.,
Coq, Mizar, Isabelle, OMEGA, etc.).
* The idea of Expansion[11] as a fundamental organizing principle for
obtaining flexible and compositional polymorphic type inference for
computer software.
* The use of Type Error Slicing[12] as a superior user interface for
explaining type errors to users of new programming languages with
advanced (and complicated!) type systems.
* Any other reasonable idea which builds on work we have already
started, including both theory and implementation. In general, we
are interested in the design and implementation of useful and
elegant type systems and logics which can reason about or extend
existing programming languages and theorem provers.
It will be helpful to have interests (or possibly even competence) in 1
or more of the following background knowledge areas:
* Formal calculi for reasoning about the meaning of systems
(including computer programs) such as the lambda calculus, the pi
calculus, and the numerous other calculi they have inspired that
deal with aspects of concurrency, mobility, modules, components,
linking & loading, resource usage, staged compilation, classes &
objects, etc.
* Methods for analyzing specific systems (e.g., specific computer
programs) represented by individual terms of such formal calculi.
* Formal calculi for representing mathematical texts, including those
aspects related to how actual practicing mathematicians (i.e., not
mathematical logicians) construct and present mathematics.
* Type systems for the kinds of formal calculi mentioned above,
especially those with features similar to intersection, union,
dependent, and singleton types.
* Rewriting theories, especially those with higher-order features,
such as the lambda calculus, higher-order rewriting (HOR), systems
with explicit substitutions, higher-order abstract syntax (HOAS),
combinators, etc.
* Constraint solving and unification.
* Theorem provers and mathematical reasoning tools.
* Programming languages especially suitable for use for any of the
above.
The usual duration of Ph.D. studentships in the UK is 3 years. The
positions are available immediately.
The Ph.D. students will probably collaborate on 1 or more of the
following activities. The specific activities will be matched to their
strengths.
* Designing languages/calculi for representing various aspects of
such things as computer programs, concurrent systems, mathematical
texts, etc.
* Developing theories for reasoning about such a calculus as a whole
as well as individual terms written in the calculus.
* Developing new type systems for such calculi with useful
properties.
* Developing analysis algorithms for the new type systems.
* Proving various properties of the above items.
* Making software systems incorporating the new calculi, theories,
type systems, and algorithms.
* Publishing scientific reports on the work done.
1. http://www.hw.ac.uk/
2. http://www.macs.hw.ac.uk/ultra/
3. http://www.macs.hw.ac.uk/cs/
4. http://www.macs.hw.ac.uk/
5. http://www.geo.ed.ac.uk/home/tour/edintour.html
6. http://www.geo.ed.ac.uk/home/scotland/scotland.html
7. http://www.macs.hw.ac.uk/
jbw/
9. http://www.macs.hw.ac.uk/DART/software/PolyStar/
10. http://www.macs.hw.ac.uk/
Inquiries can be directed to Fairouz Kamareddine at:
fairouz/
e-mail: fairouz@macs.hw.ac.uk
fax: +44 131 451 8179
Inquiries can be directed to Joe Wells at:
jbw/
e-mail: jbw@macs.hw.ac.uk
fax: +44 131 451 8179
Applying for the Positions
Please contact Fairouz Kamareddine and Joe Wells for full details on
how to apply. We will want to see your curriculum vitae, as well as 2
(or even 3 if possible) recommendation letters (preferably written by
people familiar with your academic and research abilities, but a letter
from an industry source is better than no letter at all). We will
expect recommendation letters to be sent directly by their authors and
will need contact details for the letter authors. You should probably
already have a master’s degree or equivalent experience. It can be
helpful to write a brief statement about why your research interests
are a good match for the ULTRA group. If you already have research
publications (this is not required), it can be helpful to send 1 (or
even 2) of them. There will also be official Heriot-Watt application
forms to fill out. Please convert Microsoft Word documents to a public,
standard, and non-proprietary format. PDF is good, plain text is good,
LaTeX is okay (if using only standard packages), HTML is okay (if not
generated by Microsoft Word), PostScript is sometimes okay, Open
Document format is undesirable, Microsoft Word format will not be
accepted.
For your information, it is helpful if writers of recommendation
letters provide details of:
* the capacity in which they know the candidate,
* the candidate’s skills, abilities and performance in relation to
the post applied for,
* the candidate’s record including details of the candidate’s role(s)
and service dates,
* their view of the candidate’s suitability for the post as a whole,
in light of the attached details and their knowledge of the
candidate’s experience and abilities,
* any further relevant information which would assist us in choosing
the right candidate.
The DSSE Research Group at the University of Southampton has available a
fully funded PhD grant for research work on applying constraint solving
and optimization techniques in computational biology. The grant is
provided by the Microsoft Research European PhD Scholarship Programme.
The grant includes enrollment fees as well as maintenance for a total of
3 years.
The DSSE (http://dsse.ecs.soton.ac.uk) research group consists of 25 PhD
students and 13 academics, including Peter Henderson, Michael Butler,
Vladimiro Sassone, Joao Marques-Silva and Bernd Fischer.
Applicants are expected to have a strong academic background and have
completed a MSc degree. Interested applicants are encouraged to contact
Dr. Joao Marques-Silva, DSSE Research Group, School of Electronics and
Computer Science, University of Southampton, UK, email:
jpms@ecs.soton.ac.uk, url: http://www.ecs.soton.ac.uk/
The VASY team of INRIA Rohne-Alpes seeks a post-doc candidate
in the domain of formal verification of asynchronous systems on
chip. Find more details at :
Positions at Uppsala University, 1 Ph.D. student position and
1 postdoc position in languages, methods and tools for the design
and analysis of embedded software. More info can be found at:
http://user.it.uu.se/
The UPPAAL research group (www.it.uu.se/research/group/darts) at
Uppsala University has 1 PhD position for five years and 1 postdoc
position for two years (with possibility of extension to 4 years).
The main task of the positions is to develop a tool environment for
modeling, verification and generation of executable programs from
timed models (the generated programs should guarantee given timing
and resource constraints).
Applications are invited for a post-doctoral position on formal
security within the EVEREST project (http://www-sop.inria.fr/everest/)
at INRIA Sophia-Antipolis. The position is initially for 2 years, with
the possibility of 1 year extension; the preferred starting date is
October 2006.
We are looking for candidates with a strong research background in
formal security. The team is active in the following areas:
— language-based security
— program logics for security
— proof-carrying code
— provable cryptography
Applications consisting of a CV with names of three referees to
Nathalie.Bellesso@sophia.inria.fr preferably before July, 15st
2006. If you wish to apply after this date, please send an email
for enquiring whether the position remains open.
Potential candidates are welcome to contact me by email for any
informal enquiry concerning the position.