Email Gateway (Aug 18 2022 at 12:17): Email Gateway (Aug 18 2022 at 12:17):From: Mueller Peter <peter.mueller@inf.ethz.ch>
PhD and Postdoc Positions in Programming Methodology
Department of Computer Science - ETH Zurich, Switzerland
The new Chair of Programming Methodology is recruiting PhD students
and postdocs to work on topics in programming methodology including:
* Program verification
* Type systems
* Static analysis and abstract interpretation
* Development tools
Most of our work focuses on object-oriented programming and
specification languages such as Spec# and Java/JML.
PhD students and postdocs will be hired as assistants. Assistants are
expected to participate in teaching. Teaching activities include
supporting courses and seminars as well as advising student projects.
Mandatory requirements for successful applications are:
* Strong interest in research
* Excellent Master's degree or PhD in Computer Science or in a
related subject with a strong Computer Science component
* Knowledge in formal methods
* Documented practical experience in object-oriented programming
* Proficiency in English and excellent communication skills, both oral
and written
* For postdocs: publications in international conferences or journals
An assistant position is a regular job with social benefits. All
positions are for a maximum of 6 years, but PhD students are expected
to graduate in at most 4-5 years. Assistants at ETH receive an
attractive salary and have access to excellent facilities in one of
the world's top computer science departments. Zurich has just been
voted #1 again in the world for quality of life
(www.location.zh.ch/internet/vd/awa/standort/en/wirtschaft/leben.html).
For the preliminary web site of the Chair of Programming Methodology
consult http://pm.inf.ethz.ch. General information on doctoral studies
at ETH are available from www.ethz.ch/doctorate/index_EN and
www.inf.ethz.ch/education/ds. Questions on the positions and
applications should be sent to jobs-pm@inf.ethz.ch. Applications
should include a curriculum vitae, a brief description of research
interests, and two letters of recommendation from scientific staff
members. Applications will be considered until the positions are
filled. The start date is negotiable.
Last updated: May 03 2024 at 12:27 UTC