Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] A Position in Theoretical Computer Science


view this post on Zulip Email Gateway (Aug 18 2022 at 10:35):

From: Jiri Adamek <adamek@iti.cs.tu-bs.de>
A Position in Theoretical Computer Science

At the Institute of Theoretical Computer Science of the Gauss Faculty of
the Technical University of Braunschweig a position is available
from August 2007. Candidates must have an outstanding undergraduate degree
(German Diploma, Master or equivalent) in computer science with a strong
theoretical background, or a degree in mathematics. The successful
candidate is expected to combine research in the field of

algebraic and coalgebraic methods in computer science

with teaching (about 4 hours a week) which is expected to be held in
German.
The position will initially be filled for two years and can be extended
for up to six years. The salary ranges between EUR 2800 and 4100 per month
depending on age and marital status.

Candidates are requested to send their applications
* by June 30*
to me, preferably by e-mail to the address
J.Adamek@tu-bs.de
The application should contain a letter of
recommendation (written e.g. by the thesis supervisor) and the e-mail
address of the author of that letter. For further information please
contact me.

Preference will be given to equally qualified female or disabled
candidates.

Prof. Dr. Jiri Adamek
Chair
Institute of Theoretical Computer Science
Technical University
Postfach 3329
D-38023 Braunschweig, Germany


Last updated: May 03 2024 at 04:19 UTC