This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.

The Chair of Programming Methodology (www.pm.inf.ethz.ch) and the Software
Reliability Lab (www.srl.inf.ethz.ch) at ETH Zurich are recruiting students to
pursue a PhD in one or more of the following areas:
* Program analysis
* Program verification
* Program synthesis
* Concurrency

Key requirements for successful applications:
* Strong commitment to research
* Interest in combining theory and practice
* Proficiency in English and excellent communication skills, both oral and
written
* Excellent M.Sc. degree in Computer Science or in a related subject with a
strong Computer Science component.

Applications and questions should be sent to Mrs. Marlies Weissert at
jobs-pm@inf.ethz.ch. The application should include a CV and a description of
research interests. We will consider applications until the positions are
filled. The start date is negotiable.

More details about the positions:
* A PhD position is fully funded and has an attractive salary and social
benefits.
* Full scholarships are available for outstanding B.Sc. students interested in
the PhD.
* A position is for a maximum of 6 years.
* ETH has one of the top computer science departments in the world: CS
University Rankings
* Zurich is consistently ranked among the top destinations in the world for
quality of life
* General information on doctoral studies at ETH is available at
www.ethz.ch/doctorate/index_EN and www.inf.ethz.ch/education/ds

Post-doc positions are also available for candidates with a PhD degree and a
strong publication record.

The Chair of Programming Methodology (www.pm.inf.ethz.ch) and the Software
Reliability Lab (www.srl.inf.ethz.ch) at ETH Zurich are recruiting students to
pursue a PhD in one or more of the following areas:
* Program analysis
* Program verification
* Program synthesis
* Concurrency

Key requirements for successful applications:
* Strong commitment to research
* Interest in combining theory and practice
* Proficiency in English and excellent communication skills, both oral and
written
* Excellent M.Sc. degree in Computer Science or in a related subject with a
strong Computer Science component.

Applications and questions should be sent to Mrs. Marlies Weissert at
jobs-pm@inf.ethz.ch. The application should include a CV and a description of
research interests. We will consider applications until the positions are
filled. The start date is negotiable.

More details about the positions:
* A PhD position is fully funded and has an attractive salary and social
benefits.
* Full scholarships are available for outstanding B.Sc. students interested in
the PhD.
* A position is for a maximum of 6 years.
* ETH has one of the top computer science departments in the world: CS
University Rankings
* Zurich is consistently ranked among the top destinations in the world for
quality of life
* General information on doctoral studies at ETH is available at
www.ethz.ch/doctorate/index_EN and www.inf.ethz.ch/education/ds

Post-doc positions are also available for candidates with a PhD degree and a
strong publication record.