News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral position in structural proof theory, Vienna (Austria)

The Vienna University of Technology is looking to recruit one Postdoctoral Research Assistant to work on the FWF-funded project "Nonclassical Proofs: theory, applications and tools", under the direction of Agata Ciabattoni. The work will take place within the Institute of Computer Languages (Theory and Logic group) of the Vienna University of Technology. The post is for fixed term appointment of up to 24 months and is available from January 2012.

Further particulars, including details of how to apply, are available from: http://www.logic.at/staff/agata/positions.html. Potential applicants are also welcome to send informal inquiries to Agata Ciabattoni () The closing date for applications is Thursday, December 1st 2011.

Please note that this newsitem has been archived, and may contain outdated information or links.