Discover here more job vacancies on academics – the leading job market for science and research. In order to receive information about suitable job vacancies regularly by email, you can register with us free of charge at any time.
Professorship (W1) for logic and formal verfication
Published(258 days ago)
Deadline for applications(217 days ago)
The Ruhr-Universität Bochum (RUB) is one of Germany's leading research universities. The
University draws its strengths from both the diversity and the proximity of scientific and engineering disciplines on a single, coherent campus.
This highly dynamic setting enables students and researchers to work across traditional boundaries of academic subjects and faculties.
PROFESSOR FOR LOGIC AND FORMAL VERIFICATION (W1 TENURE TRACK)
The Center of Computer Science at the Ruhr-Universität Bochum invites applications for the
position at the Department of Mathematics of a Professor for Logic and Formal Verification
(W1 tenure track) to start as soon as possible.
The candidate is expected to establish an excellent research program, to produce and publish original research, be an effective lecturer and
mentor of both undergraduate and graduate students, and participate in institutional and professional processes. We are looking for scientists
with an internationally visible research profile in Logic and Formal Verification, in at least one of the following subfields:
Logic in Computer Science
Automated Theorem Proving
Information Flow Analysis
The successful applicant is expected to cooperate with the Horst-Görtz-Institute for IT-security and especially with the recently granted cluster of excellence
Cyber Security in the Age of Large-Scale Adversaries, and to play an active role in the development of the Center of Computer Science at the Ruhr-Universität
Bochum (led by the Faculty of Mathematics and the Faculty of Electrical Engineering/Information Technology).
strong commitment to academic teaching at graduate and undergraduate level;
readiness to participate in interdisciplinary research;
willingness and ability to attract external funding;
readiness to contribute to joint research projects of the department.
The position is part of the federal-state programme for the promotion of early career researchers.
The evaluation-criteria can be requested via e-mail, firstname.lastname@example.org.
Following a successful tenure evaluation, the respective tenure-track professor will subsequently be awarded permanent tenure.
Ruhr-Universität Bochum is an equal opportunity employer.
Complete applications including CV, copies of academic certificates, list of publications, list of selfraised third-party funds, and a
teaching record should be sent by email to the Dean of theDepartment of Mathematics, Prof. Dr. Peter Eichelsbacher; e-Mail:
email@example.com not later than Jan 20th 2019.
Further information can be obtained at our website https://www.informatik.rub.de/.