coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD positions available

From: "Tom In der Rieden" <tom AT cs.uni-sb.de>
To: mah AT cs.uni-sb.de
Subject: [Coq-Club] PhD positions available
Date: Thu, 11 Sep 2003 10:42:17 +0200
Importance: Normal
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Resent-date: Thu, 11 Sep 2003 10:58:04 +0200
Resent-from: mah AT cs.uni-sb.de
Resent-message-id: <20030911085804.GA4617@wintermute>
Resent-to: Lotos-NA AT csi.uottawa.ca, coq-club AT pauillac.inria.fr, eapls AT jicsmail.ac.uk, facs-members AT lut.ac.uk, fme-ctte AT mailbase.ac.uk, fmnet AT jiscmail.ac.uk, formal-methods AT cs.uidaho.edu, ifmsig AT cs.tcd.ie, info-hol AT leopard.cs.byu.edu, isabelle-users AT cl.cam.ac.uk, larch-interest AT src.dec.com, lotos-world AT sanson.dit.upm.es, pvs AT csl.sri.com, vdm-forum AT mailbase.ac.uk, zforum AT comlab.ox.ac.uk

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

tom AT cs.uni-sb.de
http://www.verisoft.de

[Coq-Club] PhD positions available, Tom In der Rieden