The Institute for Computer Architecture at Saarland University invites
applications for PhD positions in projects on Computer-Aided Verification.
Research topics include, but are not limited to, hardware and operating
system verification.
Currently, we are hiring up to six
Research Assistants ("Wissenschaftliche Mitarbeiter/innen").
Candidates should have an excellent degree in computer science or a
closely related area. A good theoretical background (logic, automata
theory, formal methods) and the ability to implement your ideas are a plus.
The salary is set according to the BAT pay scale (about 2500-3300
EUR/month, depending on age and family status). The application deadline
is 2003-10-01, later applications may be considered until the positions
are filled.
Saarland University provides a stimulating research environment with
several research groups in the area of formal methods, both in the
Computer Science Department and in cooperating research institutes located
on campus, including the German Research Center for Artificial
Intelligence (DFKI) and the Max Planck Institute for Computer Science.
For further information, the official job announcement (in German), and to
apply, please contact:
Tom In der Rieden
FR 6.2 - Informatik
Im Stadtwald
66123 Saarbruecken, Germany
[log in to unmask]
http://www.verisoft.de
