Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] University Professorship (W3) in Theoretical C...


view this post on Zulip Email Gateway (Aug 19 2022 at 15:26):

From: Ina Schaefer <i.schaefer@tu-braunschweig.de>
The Carl-Friedrich-Gauß-Fakultät der Technischen Universität
Braunschweig invites applications for a

University Professorship (Salary Scale W3 BBesO) in Theoretical Computer
Science

starting 1 April 2016

The successful candidate should be internationally well-known for
his/her research in the area of Theoretical Computer Science. Preference
will be given to individuals whose research interests are in one or more
of the following fields:
. Logic and Verification (Formal Analysis, SAT-Solvers, Model
Checking, Deduction)
. Automata, Formal Languages, Complexity, Decidability
. Machine Learning, Knowledge Discovery, Statistical and Inductive
Inference
. Theoretical Foundations of Complex Distributed Systems

Responsibilities of the future professor also include teaching
undergraduate and graduate students within the course of studies
Computer Science. The professor is expected to attract external funding
and collaborate with in the interdisciplinary environment of Technische
Universität Braunschweig.

Conditions of appointment are in accordance with § 25, Niedersachsen
Higher Education Act (NHG).

Technische Universität Braunschweig is a member of Niedersachsen
Institutes of Technology (NTH), to which the vacant professorship is
also assigned. Candidates are therefore expected to participate in
coordinated interdisciplinary programmes and to collaborate in research
and teaching with the universities in Niedersachsen, and especially
within the NTH. For more information on NTH please visit
http://en.nth-online.org. Part time employment can be arranged on request.

As an equal opportunities employer, Technische Universität Braunschweig
has set itself the strategic aim of significantly increasing the
proportion of women. Female scientists are therefore particularly
encouraged to apply. Equally qualified candidates with disabilities will
be given preference.

The Technische Universität Braunschweig offers first-class
infrastructure, regional, national and international cooperation in
research and teaching, an exciting work environment with flexible and
competitive personnel and budgetary management, and support in
technology transfer through the Innovationsgesellschaft TU Braunschweig mbH.
Successful candidates who have reached the age of fifty by the time of
appointment and who do not already have civil servant status will be
given an employment contract.

Further information is available from the Head of the Search Committee
Prof. Dr.-Ing. Ina Schaefer (i.schaefer@tu-bs.de).

Please submit your full application by 30. September 2014 to
Technische Universität Braunschweig
Dekan der Carl-Friedrich-Gauß-Fakultät
Prof. Dr. Thomas Sonar
Rebenring 58A
38106 Braunschweig, Germany
www.tu-braunschweig.de/fk1


Last updated: May 06 2024 at 08:19 UTC