Postdoctoral Position on Universal Algebra and Structural Proof Theory




General Information
Project Information
Requirements
Application Procedure
Research Environment
Bibliography

General Information

A Postdoctoral Position is available at the Vienna University of Technology within the project "Nonclassical Proofs: theory, applications and tools", led by Agata Ciabattoni.
The work will take place within the Institute of Computer Languages ( Theory and Logic group ).
The post is for an appointment of up to 36 months, will have a Net salary of approx. 2000 Euro pro month (14 times a year), and is available from June 2013 (flexible starting date).
Further funding for IT support and conference travelling will be available.

Project Information

The project, funded by the Austrian Science Fund as a START prize , has started in December 2011 and last till November 2017.

The project aims to develop theoretical and engineering tools for automatically and systematically defining analytic calculi for nonclassical logics. The resulting tools will be further exploited to systematically investigate nonclassical logics. Various results, currently proved in a logic-tailored fashion, will be established in a uniform way for large classes of logics; among them decidability, complexity, Herbrand's theorem, elimination and admissibility of a plethora of rules, and order-theoretic completions of algebras. The focus will not be on particular calculi, logics or algebras, but on general and uniform results whose instantiations are expected (i) to help logic users in the spirit of 'logic engineering', and (ii) to solve open questions on specific logics, calculi or algebras.

Requirements

Applicants should have (or shortly expect to receive) a PhD in Mathematics, Computer Science or a closely related field. They are expected to have a strong background in Ability to work independently but also with academic colleagues and PhD students, flexibility and teamwork, are all important qualifications for this position.

Application Procedure

The candidate should send his expression of interest, contact information, and names and contact information of two senior academics available for reference per e-mail to the address "postdoc2012@logic.at"i (and "agata@logic.at"). The review of applicants will begin immediately and continue until the position is filled. The following documents should be attached to the e-mail in pdf: In the review process, particular emphasis is put on the quality of the candidate's previous research and international experience, and its relevance to the project's aims. Good command of English is a necessary prerequisite. The candidate must have completed his/her PhD degree before the start of the contract period.

Note that an acknowledgment will be sent after the reception of the expression of interest. (No acknowledgment means that your email was blocked by the spam filter by mistake).

Research Environment

The position offers an opportunity to work in an exciting research environment. The Theory and Logic group is part of the Computational Intelligence group at the Computer Science Faculty of the Vienna University of Technology. The latter group consists of more than 70 people and includes renown researchers in various areas of computational logic such as Matthias Baaz, Alexander Leitsch, Georg Gottlob (Vienna-Oxford), Thomas Eiter and Helmut Veith. The group has organized and will organize many events, for instance Federated Logic Conference FLOC in 2014.

Bibliography

The following papers

are among the foundational basis of the project.