AMAST Mail - October 1999
[Prev][Next][Index]

Chair: Theory of Automata at TU Dresden

Full Professor for Theory of Automata
Dresden University of Technology

The Department of Computer Science seeks applicants for a tenured position
as a full professor (C4), starting from April 1st, 2002. Applicants should be
able to represent the discipline of "Theory of Automata" in  research as 
well as in courses of all graduate programmes and in postgraduate programmes. 

We are expecting internationally acknowledged expertise in the area of
applying algebraic structures and logics to problems in the theory of automata. 
Research topics could be for instance algebraic theory of automata, 
automata on infinite objects, automata and ordered structures, automata in 
computational logic, and automata based methods for the specification
and verification of concurrent processes. Joint work within the Department
of Computer Science, in particular within the special focus area "intelligent 
formal systems" of the department, are especially expected.
In addition to research and teaching, participation in academic bodies 
is also expected. A good command of the German language is necessary. 
Applicants require qualifications according to article 40 SaechsHG 
of June 11, 1999.

Dresden University of Technology is an equal opportunity employer and 
especially encourages qualified women to apply. Severly handicapped 
applicants with equal aptitude have to be preferred.

Applicants are asked to submit a letter of application, together with a 
curriculum vitae, a list of publications, copies of 3 most relevant 
publications, a certified copy of their highest degree and a summary of 
their professional career, including details of their teaching experience, 
to TU Dresden, Dekan der Fakultaet Informatik, Herrn Prof. Dr. Heiko
Vogler, D-01062 Dresden, Germany. Advance information can be sent by
email to hb8@inf.tu-dresden.de or by fax to +49-351-463-8221.

Closing date is December 11, 1999.
[ AMAST Mail - October 1999 | September 1999 | November 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]