Logic List Mailing Archive

Postdoctoral or PhD student position in Computation with Bounded Resources, Innsbruck (Austria), Deadline: 31 May 2016

2-year PostDoc or 3-year PhD position  at the  University of Innsbruck
======================================================================

Within the  research unit  Computation with  Bounded Resources  at the
University of  Innsbruck, Austria  there is  an opening  for a  2 year
position  as postdoctoral  researcher  or  a 3  year  position as  PhD
student.   The position  is funded  by the  ANR-FWF project  "The fine
structure of  proof systems  and their  computational interpretations"
(FISP  for short).   The research  unit is  part of  the Computational
Logic Group of the Department of Computer Science.

The  objective  of  FISP  is  to  apply  the  powerful  and  promising
techniques  from  structural  proof  theory  to  central  problems  in
computer science for which they  have not been used before, especially
the  understanding  of  the   computational  content  of  proofs,  the
extraction of programs from proofs  and the logical control of refined
computational  operations.   Its primary  objective  is  to build  new
concrete computational  interpretations of proof systems  based on the
techniques developed in the STRUCTURAL project (2011-2013).

A strong  background in the  themes of the  FISP project is  an asset.
Candidates with a  strong theoretical background in  related areas are
also  encouraged to  apply. Candidates  for the  postdoc position  are
required to  hold a PhD degree;  candidates for the PhD  position must
have a Master's or equivalent degree.

Candidates are expected to contribute  to research within the project.
Knowledge  of German  is not  required.   The annual  gross salary  is
approximately EUR 50.200  for the postdoc position and  EUR 28.600 for
the PhD position.

Applications (including CV, publication  list, and two references) may
be sent by email, to the research unit leader Georg Moser at

   georg.moser@uibk.ac.at

no later than May 31, 2016. Informal inquiries are also welcome at the
same email address.

The  city   of  Innsbruck  is   superbly  located  in   the  beautiful
surroundings  of the  Tyrolean  Alps. The  combination  of the  Alpine
environment  and urban  life in  this  historic town  provides a  high
quality of living.

Further information is available from the following links:

*) Project FISP:

http://cl-informatik.uibk.ac.at/research/projects/the-fine-structure-of-formal-proof-systems-and-the/
*) Computation with Bounded Resources Research Unit
    http://cbr.uibk.ac.at/
*) Computational Logic Group
    http://cl-informatik.uibk.ac.at/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam