Зачем вы хотите учиться на мехмате? Доброго времени суток, народ. А кто нить вообще из поступающих задумывался вообще над вопросом зачем ему нужно учиться на мехмате... Потому что это очень важно трезво понимать зачем ты решил учиться на мехмате а не на вмике например, и какие ты потом видешь перспективы для своего дальнейшего развития и в какой области - потому что это очень важно чтобы потом не мучаться и не задавать себе вечные вопросы ну зачем же я это сделал... потому что разгребать придется именно вам и проблем будет очень много если вам действительно нужен мехмат чтобы самоутвердиться перед самими собой... Потом придется или очень долго мучиться и все проклинать или надо сразу четко представлять свои перспективы.... Нет, я конечно не буду отрицать того факта что после мехмата много талантливых людей но вот есть вопрос надо ли им был вообще этоот мехмат или может быть они были талантливыми и без всякого мехмата... А он может им только мешать в достижении своих целей и всего такого ... потому что высшая топология и геометрия еще никому не делала хорошо ... ну конечно исключается тот случай если вы реально твердо решили стать профессиональным математиком... а так обучение на мехмате может превратиться для вас в кошмар да и только... Так что лучше много раз сначала подумать а потом сделать - этим надо всегда руководствоваться по жизни и тогда не придется жалеть за бесцельно прожитые годы...http://www.mmonline.ru/forum/read/6/15674/15674/#15674Wed, 08 Feb 2012 17:58:27 +0400 Phorum 5.2.10 http://www.mmonline.ru/forum/read/6/15674/15736/#15736 Зачем?http://www.mmonline.ru/forum/read/6/15674/15736/#15736Или те, кого туда послали родители - математики.
Или те, кто считает, что честным трудом и мозгами можно добиться успеха в жизни. Таких, мне видится, большинство.
Только очень многие не учитывают, что глубоко в душе человек не может не испытывать отвращения к бездушным цифрам и тупым формулам. 3345*548=? где здесь жизнь?
А плюнуть на душу - это действие не без последствий. "Душа - это физическое тело". Слова Пастернака.
Поступая на мехмат, можно легко лишиться счастья жить. особенно это верно в отношении отделения математики.
"на мехмате все по-своему сумасшедшие" - расхожая фраза, с которой очень многие НА САМОМ мехмате согласны.
Послушайте песню Ленинграда "Менеджер".
И дважды послушайте, чего вы сами хотите, поступая на мехмат.

]]> observer АбитуриентамTue, 29 Aug 2006 12:11:42 +0400 http://www.mmonline.ru/forum/read/6/15674/15725/#15725 Все равно, бывшая 209я круче жгла!http://www.mmonline.ru/forum/read/6/15674/15725/#15725
]]> RuLeR АбитуриентамMon, 14 Aug 2006 20:07:54 +0400 http://www.mmonline.ru/forum/read/6/15674/15724/#15724 Мехмат не готовит кодеров...http://www.mmonline.ru/forum/read/6/15674/15724/#15724
Цитата

ChMaker писал(а) :
что нить на продажу - а то смотрю что то много нынче ТЕОРЕТКОВ развелось - все любят рассуждать, а вот реально никто ничего не делал и зачем вообще тешить себя надеждами про то что эта математика вообще так остро нужна, вот мозги пожалуйста, чтобы реально что то рюхать....
И что Вы так привязались к тому, что мехмат не готовит кодеров? Если Вы сами хотите стать кодером, то кто же Вам мешает? И причем здесь мехмат. С такими запросами надо было идти в хороший технический
ВУЗ, а не в Универ. Универ все-таки ближе к фундаменталке, а технарей готовит куча других ВУЗов.

Мехмат дает специальность "Математик", а не "Кодер на Java" или "Администратор БД". Если Вас это не устраивает - идите учиться в другое место.

А что касается ВМиК - так они больше прикладной математикой занимаются, если я правильно все понял - там только три кафедры прогрммистсткие - АЯ, СП, АСВК. И многие, поступив на ВМиК, чтобы стать кодерами, тоже впоследствии разочаровались...

]]> RuLeR АбитуриентамMon, 14 Aug 2006 20:04:56 +0400 http://www.mmonline.ru/forum/read/6/15674/15722/#15722 вот это реальная темаhttp://www.mmonline.ru/forum/read/6/15674/15722/#15722
]]> ChMaker АбитуриентамWed, 09 Aug 2006 13:27:13 +0400 http://www.mmonline.ru/forum/read/6/15674/15721/#15721 Аргумент на 5 балловhttp://www.mmonline.ru/forum/read/6/15674/15721/#15721 Амир АбитуриентамWed, 09 Aug 2006 11:30:53 +0400 http://www.mmonline.ru/forum/read/6/15674/15720/#15720 действительно, зачем учиться?..http://www.mmonline.ru/forum/read/6/15674/15720/#15720 AlexeY АбитуриентамTue, 08 Aug 2006 22:53:23 +0400 http://www.mmonline.ru/forum/read/6/15674/15716/#15716 Замечательно...http://www.mmonline.ru/forum/read/6/15674/15716/#15716 WisMus АбитуриентамFri, 04 Aug 2006 20:51:13 +0400 http://www.mmonline.ru/forum/read/6/15674/15715/#15715 Ну вы даете-тоhttp://www.mmonline.ru/forum/read/6/15674/15715/#15715 Амир АбитуриентамThu, 03 Aug 2006 20:36:28 +0400 http://www.mmonline.ru/forum/read/6/15674/15714/#15714 я тя тоже узналhttp://www.mmonline.ru/forum/read/6/15674/15714/#15714 ChMaker АбитуриентамTue, 01 Aug 2006 13:17:12 +0400 http://www.mmonline.ru/forum/read/6/15674/15713/#15713 :) Угадал!!!http://www.mmonline.ru/forum/read/6/15674/15713/#15713Интересный спор у вас получается, с одной стороны ненавидящий мехмат Макс, с другой, по все видимости, не более адекватный ботан (ну или скорее просто фанат мехмата). (Заранее скажу, что я, наверное ближе все-таки ко второму), но вопрос Макса хороший, и все бы хорошо, но такая тема появляется каждый год по несколько раз, я даже сам на превом курсе создал такую в тоже в этом топике. Правда суть была немного другая :)

]]> WisMus АбитуриентамMon, 31 Jul 2006 21:58:38 +0400 http://www.mmonline.ru/forum/read/6/15674/15701/#15701 ещё информация для математиков, интересующихся теорией программированияhttp://www.mmonline.ru/forum/read/6/15674/15701/#15701University of Duisburg-Essen (Germany) has one open PhD position in
the project SANDS paid according to BAT IIa (full-time). Candidates at
post-doc level can also be considered.

For more information have a look at our web pages:

http://www.informatik.uni-duisburg.de/AGThInf/
http://www.informatik.uni-duisburg.de/AGThInf/research/sands/index.html


Project SANDS - Static Analysis of Dynamically Evolving Systems
---------------------------------------------------------------

Modern software systems must meet increasingly higher safety,
security, and reliability standards. At the same time, they are
becoming more dynamic in nature: At program level, modern code relies
on dynamic creation of objects and dynamic dispatch of methods. At
system level, communication protocols, computer networks or ubiquitous
computing systems exhibit complex features involving process
migration, remote execution or dynamic reconfiguration. This
combination of higher requirements and more complex systems makes the
task of meeting the standards one of the big challenges of software
technology.

Dynamic features are modelled in a natural way by means of
transformation rules acting on graphs, also known as graph
transformation systems. Comparatively little is known in terms of
static analysis and verification techniques able to provide
information about the behaviour of general graph transformation
systems in reasonable time.

The aim of this project is to apply static analysis techniques to
dynamic systems, specified by graph transformation rules, to develop
suitable specification languages and to apply these techniques in
order to analyse systems with mobile processes and dynamically
evolving data structures.

We prefer applicants with experience in some of the following topics:
static analysis, diagnosis, concurrency theory, logics, graph
transformation systems, Petri nets and/or unfoldings.

Requirements
------------

You should have or should be in the process of obtaining a MSc or
equivalent degree. Prior knowledge about the topics of the projects is
considered an advantage. Good English speaking and writing skills are
demanded, as well as the willingness to learn German.


Your Application
----------------

You can obtain further information by adressing your enquiries to:

Barbara Koenig
barbara_koenig@uni-due.de
tel.: ++49-203-3793397

If you are interested in the position, please send your e-mail
application to the address given above. 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
and the name of your supervisor.

* If you are interested in a post-doc position, please include
a list of your publications and the names of possible referees.

There is no application deadline. Applications will be assessed on an
on-going basis until the position is filled.]]> mian АбитуриентамThu, 27 Jul 2006 20:27:29 +0400 http://www.mmonline.ru/forum/read/6/15674/15699/#15699 "всё не так, ребята...." В. Высоцкийhttp://www.mmonline.ru/forum/read/6/15674/15699/#15699
Бывают люди, которые твёрдо хотят в науку, они уже всё решили и трогать мы их не будем!

Но, есть (пожалуй большинство) абитуриентов, которым нечего выбрать: у них явные пристрастии к техническим наукам, значит поступают они либо в МГТУ им. Баумана и прочие технические вузы, либо в МГУ или МФТИ ( ну может быть ещё в МИФИ)))))))), однако каких-либо ярко подчёркнутых математических способностей у них нет.
Можно выбрать специальность инженера (МГТУ), НО:
Инженеров стране требуется много, поэтому учить вас будут конвеерно, то есть о сложных, интересных задачах по матану, алгебре и т.п. – забудьте, здравствуй САПРОМАТ, ТЕРМЕХ (именно для инженеров), СХЕМОТЕХНИКА и т.п. Не секрет, что многое из этого скучно и в чём-то примитивно, даже на программерской специальности.
Значит, остаётся общетехнический физмат:
Тут выбора особого нет: МГУ (физфак, мехмат, ВМиК), МФТИ, МИФИ (Т, в меньшей степени К,Ф,А).
Ясно что МИФИ, всё же послабей МФТИ и МГУ. Ну вот народ и выбирает из этого списка.
Что ждать от мехмата?
Ясно, что если вы пойдёте в коммерческую организацию, то 90% знаний мехмата вам не пригодятся. Ну и что из этого? В чём проблема то?
ЛЮБАЯ не специализировано научная или инженерная специальность знаний то конкретных не требует. Вот например директор РАО ЭС Чубайс, или Ходорковский, или Абрамович, или Чичваркин (Евросеть)… ну что они такого про свою отрасль знают? Да ничего, им это в принципе может быть и не нужно! С. Киреенко назначили главой РОС АТОМА: Он в атомах как я в балете……….
В школе вы учитесь 10 лет. Где вам понадобится биология? История? География? Химия?
НО образование, в том числе и мехмат, даже если вы не пойдёте по специальности, даёт вам общий уровень и кругозор! А это очень важно. Уж если надо где то провести 5 лет жизни, то лучше провести их как можно лучше и интересней. Правда надо и свои силы рассчитывать: потяните ли вы или нет? Но, я думаю, если вы поступили, то всё будет ОК!]]> М.А.Г. АбитуриентамWed, 26 Jul 2006 21:10:12 +0400 http://www.mmonline.ru/forum/read/6/15674/15698/#15698 странный вопросhttp://www.mmonline.ru/forum/read/6/15674/15698/#15698
Цитата

ChMaker писал(а) :
а вот интересно кто нить из вас вообще то писал что нить на продажу -

По-моему, таких гораздо больше, чем тех, кто никогда не писал программ на продажу в коммерческих компаниях (или по грантам гос. организаций).

]]> mian АбитуриентамWed, 26 Jul 2006 20:47:16 +0400 http://www.mmonline.ru/forum/read/6/15674/15697/#15697 да работал и работаю...http://www.mmonline.ru/forum/read/6/15674/15697/#15697 ChMaker АбитуриентамWed, 26 Jul 2006 15:00:52 +0400 http://www.mmonline.ru/forum/read/6/15674/15696/#15696 Добавлю: вопрос ChMaker'уhttp://www.mmonline.ru/forum/read/6/15674/15696/#15696
(Я не задумываясь вспомнил: the bat!, Kasperskiy, spamoed итд)

]]> Михаил АбитуриентамWed, 26 Jul 2006 09:20:28 +0400 http://www.mmonline.ru/forum/read/6/15674/15695/#15695 вопрос ChMaker'уhttp://www.mmonline.ru/forum/read/6/15674/15695/#15695
]]> Echo-off АбитуриентамWed, 26 Jul 2006 00:49:10 +0400 http://www.mmonline.ru/forum/read/6/15674/15694/#15694 Не разбираясь в теме не пишитеhttp://www.mmonline.ru/forum/read/6/15674/15694/#15694"главное побыстпее сбацать программный продукт и побыстрее его продать .... а всем просто пох... на какую то там математику ... и вообще современный программинг щас ой как далек от математики..."
Если вы не умеете прогать и если вам надоел МехМат - то почему ВЫ пишите ТАК, что это выглядит, как будто ВСЕ должны думать так же.
Поймите - если бы не было связи математики и программирования не было ВычМеха и ВычМата. Но она есть и в современных продуктах(в том числе и Российских) используются довольно сильно и поверьте количество человеко/часов на математику соизмеримо с человекочасами на кодирование (опустим отладку, это отдельный разговор). Другое дело, что в области тендоров - кто больше заплатит и у кого больше откат тот и выигрывает. От того и появляются проблемы с алкоголем (на программу по слежению за ним было выделено нормальное число денег, но довольно много - элементарно осело по карманам, в результате денег хватило на бета-версию, которую выдали за конечный продукт).
Работа программиста, а особенно веб-программиста в современном обществе востребована очень сильно, а такие программисты, которые выпускаются с МехМата особенно будут нужны, при большей интеграции интернета в нашу жизнь.

]]> Михаил АбитуриентамWed, 26 Jul 2006 00:44:28 +0400 http://www.mmonline.ru/forum/read/6/15674/15693/#15693 вообще-то это направление называется "теоретическая информатика"http://www.mmonline.ru/forum/read/6/15674/15693/#15693
Цитата

- где главное побыстрее сбацать программный продукт и побыстрее его продать .... а всем просто пох... на какую то там математику ... и вообще современный программинг щас ой как далек от математики... вот аналитиком стать - пожалуйста

Системная аналитика и системное проектирование как раз составляет основное содержание программирования, а то, что Вы, как я понимаю, позразумеваете под программированием (написание программ на языках типа С), это называется кодированием.]]> mian АбитуриентамTue, 25 Jul 2006 19:46:11 +0400 http://www.mmonline.ru/forum/read/6/15674/15692/#15692 похоже на дешевую рекламуhttp://www.mmonline.ru/forum/read/6/15674/15692/#15692 ChMaker АбитуриентамMon, 24 Jul 2006 18:40:50 +0400 http://www.mmonline.ru/forum/read/6/15674/15691/#15691 о математике в программированииhttp://www.mmonline.ru/forum/read/6/15674/15691/#15691
*****************************


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).

Profile

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/~timw/COMFORTS

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).

Your Application

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:

http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html

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.

References

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/~fairouz/
8. http://www.macs.hw.ac.uk/~jbw/
9. http://www.macs.hw.ac.uk/DART/software/PolyStar/
10. http://www.macs.hw.ac.uk/~fairouz/talks/talks2005/mathlang-general-talk.pdf
11. http://www.macs.hw.ac.uk/~jbw/papers/#Car+Wel:ITRS-2004
12. http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/

Contact Information

Inquiries can be directed to Fairouz Kamareddine at:

web: http://www.macs.hw.ac.uk/~fairouz/
e-mail: fairouz@macs.hw.ac.uk
fax: +44 131 451 8179

Inquiries can be directed to Joe Wells at:

web: http://www.macs.hw.ac.uk/~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/~jpms.

*****************************


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 :

http://www.inrialpes.fr/vasy/jobs/postdoc_2006e.html

*****************************

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/~yi/positions/positions.txt

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.

Gilles Barthe

Everest Team, INRIA Sophia-Antipolis
2004 Route des Lucioles
BP 93, 06902 Sophia Antipolis Cedex France
Tel: (33) 4 92 38 79 38
Fax: (33) 4 92 38 50 29
http://www-sop.inria.fr/everest/Gilles.Barthe


*****************************

3 Open PhD Positions in Formal Methods

at the group for Precise Modeling and Analysis (PMA) at the
Department of Informatics, University of Oslo, Norway.
Two positions are part of an EU project (Credo) and one is part of
a Nordunet project. See the PMA homepage
http://www.ifi.uio.no/forskning/grupper/pma/index_e.html
for more information.

Best regards,
Einar Broch Johnsen]]> mian АбитуриентамMon, 24 Jul 2006 12:45:46 +0400 http://www.mmonline.ru/forum/read/6/15674/15688/#15688 Ну не знаюhttp://www.mmonline.ru/forum/read/6/15674/15688/#15688Относительно оплаты обучения.
У нас хотят ввести плату за обучение в виде отработки после учебы в госкомпании или оплате обучения. Но это для множества всяких бесплатных госВузов. МГУ же считается лидирующим ВУЗом, в него нехилый набор, который позволяет выбрать лучших из лучших.
Свою лепту в науку вы внесете на 3-5 курсах, когда будете заниматься на выбранной вами кафедре (кстати относительно сайтов - придумать методы нахождения текста и просчет фиктивности, смотри яндекс, как раз очень даже математическая задача). Так вот на кафедре вы будете делать курсовые - маленькие научные работы, длиной в год и тогда может быть конктретная область математики вас заинтересует. Кризис 2-3 курса бывает почти у всех, когда люди начинают задумываться относительно правильности их выбора. Спокойно плюньте на это и доучивайтесь.

]]> Михаил АбитуриентамThu, 20 Jul 2006 16:37:34 +0400 http://www.mmonline.ru/forum/read/6/15674/15687/#15687 может быть это во мне плачет вмикhttp://www.mmonline.ru/forum/read/6/15674/15687/#15687 ChMaker АбитуриентамThu, 20 Jul 2006 12:46:57 +0400 http://www.mmonline.ru/forum/read/6/15674/15686/#15686 У вас одна неверная позицияhttp://www.mmonline.ru/forum/read/6/15674/15686/#15686Это далеко не так. Даже в советское время, когда МГУ держали проффессиональной кужнецей высокопроффисиональных интелектуальных кадров не всех с МехМата распределяли в науку, причем не исключаю, что даже столько же сколько сейчас остается в науке - оставалось в те времена. А людей расспределяли на производства, где полученные ими знания применялись на практике.

Я слышал на одном из дней открытых дверей: В один колхоз попал Алгебраист-тополог с мехмата, он за год так оптимизировал систему полива, что позволил экономить до 80% выделенных средст на эту систему, не в ущерб качеству полива.

Ну и таких спорных утверждений, принятых вами за аксиому можно привести уйму. И поверте профессиональные CMS которые организуют связь с сайтом и его БД некоторую организацию целиком далеко не тупая и простая вещь как вы можете думать. За ее разработку платят десятки, а иногда и сотни тысяч уе.

]]> Михаил АбитуриентамThu, 20 Jul 2006 12:33:51 +0400 http://www.mmonline.ru/forum/read/6/15674/15684/#15684 Понимаете в чем делоhttp://www.mmonline.ru/forum/read/6/15674/15684/#15684По поводу топологии и прочего. Советую Вам и другим форумчанам провести следующий эксперимент. Допустим прошло несколько лет, как Вы закончили мех-мат. Ваша работа мало связана с наукой. Возьмите список экзаменационных вопросов по любой дисциплине мех-мата начиная с 3го(если не со 2го!) курса. Я вам гарантирую, что Вы без предварительной подготовки не вспомните практически ни одного определения и формулировки. Про доказательства я и не говорю. Ага, скажут иные, 5 лет обучения на мех-мате псу под хвост. Тогда проведите другой эксперимент. Устройтесь на работу и работайте. Я Вам гарантирую, что все у Вас будет в порядке и Вы будете одним из лучших. Возразите на фига тогда мех-мат, когда есть куча более прикладных технических ВУЗов. Отвечу. Уровень обучения там упал в последнее десятилетия ниже плинтуса. Сплошная коррупция, некомпетентность или наплевательство на все преподов, страшная тупость студентов - вот реалии подавляющего большинства нынешних ВУзов. Вам это надо? ВМК. Так если Вы хотели работать программистом, почему сразу не пошли туда. Ведь это был Ваш осознанный выбор.
Такие вот соображения.]]> Jash АбитуриентамThu, 20 Jul 2006 12:18:07 +0400 http://www.mmonline.ru/forum/read/6/15674/15683/#15683 Вот это точно бредhttp://www.mmonline.ru/forum/read/6/15674/15683/#15683
А занимать чужое место. Из более чем 400 человек, поступающих на ММ, от силы 40 не бросят науку после аспирантуры, из них 4, возможно, станут достойными учёными. Так что чужое место трудно занять, их полно.

Да и вообще, выбор ВУЗ`а - это лотерея. Тут либо повезёт, либо нет. Большинство выпускников оценивают свой выбор пятилетний давности не по полученным знаниям, возможности их применения, а по приобретённым друзьям, проведённому времени, полученному жизненному опыту. А на Мехмате , уверяю вас, вам будет весело и полезно!]]> petrovich_ АбитуриентамThu, 20 Jul 2006 12:01:49 +0400 http://www.mmonline.ru/forum/read/6/15674/15682/#15682 похоже на бредhttp://www.mmonline.ru/forum/read/6/15674/15682/#15682 ChMaker АбитуриентамThu, 20 Jul 2006 10:56:02 +0400 http://www.mmonline.ru/forum/read/6/15674/15681/#15681 драмкружок, кружок по фотоhttp://www.mmonline.ru/forum/read/6/15674/15681/#15681
Цитата

ChMaker писал(а) :
на мехмате прослеживется явный перебор в математике....
Во-первых, это. Переформулируем: поскольку не так много народу каждый год идут с мехмата в науку, почему бы ими не пренебречь? Вот то ли дело те, кто пришел учиться примочкам в программировании. Пускай ребята, пришедшие на мехмат за математикой, ищут ее на факультативах, языки программирования людям нужнее!
Э нет, батенька... назвался клизмой, учи математику.

Другой вопрос, что можно разумно переформулировать предложение - вероятно, никто бы не стал возражать против большего количества спецкурсов по, так сказать, прикладному программированию. Валит же народ толпами на машграф.

Цитата

тот факт что на мехмате могут из баклана сделать нормального рюха - абсолютно неверен
Мехмат - такой же способ разбудить в себе способности и любовь к математике, как и, скажем, матшкола. Насколько часто это происходит, другой вопрос, коррелирующий с вопросом, нужны ли матшколы.

Цитата

если человек приходит с головой - то он таковым и останется.....
Тоже неверно, хотя и не столь очевидно

Цитата

Так что мехмат даст Вам, уважаемые абитериенты только головную боль и абсолютно не даст знаний, которые могут вам пригодиться в жизни и в работе....
"Не покупайте эту книгу"

Хотя не поспоришь, конечно, что на мехмате много народу разочаровывается - кто в чем. В методике преподавания (тм), или в содержании курсов, или в самом себе.

]]> Likki АбитуриентамThu, 20 Jul 2006 04:48:50 +0400 http://www.mmonline.ru/forum/read/6/15674/15680/#15680 зачемhttp://www.mmonline.ru/forum/read/6/15674/15680/#15680
Цитата

ChMaker писал(а) :
добавить програмирования на мехмат и причем не такого, какое есть щас - то есть чисто алгоритмическое программирование, а нечто другое, которое дает некоторые знания по программированию...
Зачем добавлять программирования на мехмат? Есть же другие ВУЗы. И не все математики любят программировать, так зачем же им мучится. И кстати, что Вы имеете в виду под знаниями по программированию?
Цитата

Так что мехмат даст Вам, уважаемые абитериенты только головную боль и абсолютно не даст знаний, которые могут вам пригодиться в жизни и в работе.... Если вы конечно же не будете заниматься сами над тем что вам будет реально интересно - но ведь этому можно научиться и не изучая математику, которая будет просто тратить ваше время - и все разговоры про то что мехмат дает МОЗГИ - это гон, они либо были либо их уже никогда не будет.....
Наверное, мехмат мозгов не добавляет, но он их по крайней мере не убавляет. Если почитать программы некоторых технических ВУЗов тошно становится, Вам хотелось бы изучать, например "Метрологию и стандартизацию" или "Общую электротехнику"? Мне - не очень. Лучше топологию (которая полезна в реальной жизни - в искусстве завязывать галстук).

]]> Lalage АбитуриентамTue, 18 Jul 2006 18:59:39 +0400 http://www.mmonline.ru/forum/read/6/15674/15679/#15679 кризисhttp://www.mmonline.ru/forum/read/6/15674/15679/#15679 aurocranium АбитуриентамTue, 18 Jul 2006 12:27:46 +0400 http://www.mmonline.ru/forum/read/6/15674/15678/#15678 хреновое ощущениеhttp://www.mmonline.ru/forum/read/6/15674/15678/#15678 ChMaker АбитуриентамTue, 18 Jul 2006 11:36:15 +0400