Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id TAA07342; Wed, 18 Oct 1995 19:08:20 +0200 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA156588594; Wed, 18 Oct 1995 09:03:14 -0600 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: list Received: from kirk.fmi.uni-passau.de by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA156118453; Wed, 18 Oct 1995 09:00:53 -0600 Received: from uhura.fmi.uni-passau.de by kirk.fmi.uni-passau.de with SMTP id AA22570 (5.65c8/IDA-1.4.4 for ); Wed, 18 Oct 1995 15:59:27 +0100 From: Matthias Mutz Message-Id: <199510181459.AA22570@kirk.fmi.uni-passau.de> Subject: Position: Research Assistant in Passau, Germany To: info-hol@leopard.cs.byu.edu Date: Wed, 18 Oct 1995 15:59:25 +0100 (MET) X-Mailer: ELM [version 2.4 PL22] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 1506 ------------------------------------------------------------------------------- P O S I T I O N A N N O U N C E M E N T Research Assistant for two years at the University of Passau, Germany ------------------------------------------------------------------------------- TASKS Working in a DFG-funded project titled "Formal Verification of Transformation Rules in Synthesis of Digital Circuits" FORVERTIS. PROJECT INFORMATIONS AND LINKS TO SITE INFORMATIONS http://www.uni-passau.de/fmi/lehrstuehle/grass/projekte/forvertis/intro_gb.html CANDIDATES experiences in the area of digital circuit design (high-level synthesis, synthesis at register-transfer level); experiences with a hardware description language (VHDL); experiences in the area of formal verification by means of theorem provers (higher-order logic, HOL theorem proving); experiences with C or C++ (less important). Salary is on the BAT IIa Scale (German "Bundesangestelltentarif"). The project is funded for two years. The expected total duration of the project is four years. Candidates must have a diploma (master degree) in computer science. CONTACT Dr. Matthias Mutz Universitaet Passau Fakultaet fuer Mathematik und Informatik Lehrstuhl fuer Rechnerstrukturen (Prof. W. Grass) D-94030 Passau, Germany Telefon: 0851 / 509-3044 Fax: 0851 / 509-3042 E-mail: mutz@fmi.uni-passau.de -------------------------------------------------------------------------------