[TYPES/announce] Postdoc position in proof theory in Paris
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in proof theory in Paris There is an opening of a postdoc position on structural and computational proof theory. The position is financed by the ANR within the project FISP. <https://www.lix.polytechnique.fr/~lutz/orgs/FISP.html> The postdoc will be hosted by INRIA and the Laboratoire d'Informatique (LIX) at the Ecole Polytechnique, one of the "Grand Ecoles" in the French university system, located in the suburbs of Paris. The successful candidate will be working within the PARSIFAL team. <http://team.inria.fr/parsifal/> Starting date should be in Fall 2017. Applicants must have a Ph.D. or equivalent in computer science or mathematics, and should have a strong background in proof theory and related topics. The principal responsibility of the postdoc will be to carry out research in the area of proof theory within the FISP project. There are no teaching duties. For further information, see <http://www.lix.polytechnique.fr/~lutz/orgs/fisp-postdoc.html> or contact Lutz Strassburger <l...@lix.polytechnique.fr> Applications should be sent via email to Lutz Strassburger <l...@lix.polytechnique.fr> and should include a CV, a research statement (1-2 pages), and one or two recommendation letters. The application deadline is *** April 16, 2017 ***
[TYPES/announce] Postdoc position in proof theory in Paris
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in proof theory in Paris There is an opening of a postdoc position on structural and computational proof theory. The position is financed by the ANR within the project STRUCTURAL. http://www.lix.polytechnique.fr/~lutz/orgs/structural.html The postdoc will be hosted by INRIA and the Laboratoire d'Informatique (LIX) at the Ecole Polytechnique, one of the Grand Ecoles in the French university system, located in the suburbs of Paris. The successful candidate will be working within the PARSIFAL team. http://team.inria.fr/parsifal/ Starting date should be between February and April 2013. Applicants must have a Ph.D. or equivalent in computer science or mathematics, and should have a strong background in proof theory and related topics. The principal responsibility of the postdoc will be to carry out research in the area of proof theory within the project STRUCTURAL. There are no teaching duties. For further information, see http://www.lix.polytechnique.fr/~lutz/orgs/structural-postdoc.html or contact Lutz Strassburger l...@lix.polytechnique.fr Applications should be sent via email to Lutz Strassburger l...@lix.polytechnique.fr and should include a CV, a research statement (1-2 pages), and one or two recommendation letters. The application deadline is *** January 31, 2013 ***
[TYPES/announce] Postdoc position in proof theory in Paris
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in proof theory in Paris There is an opening of a postdoc position on structural and computational proof theory. The position is financed by the ANR within the project STRUCTURAL http://www.lix.polytechnique.fr/~lutz/orgs/structural.html The postdoc will be hosted by the Laboratoire d'Informatique (LIX) at the Ecole Polytechnique, one of the Grand Ecoles in the French university system, located in the suburbs of Paris. Applicants must have a Ph.D. or equivalent in computer science or mathematics, and should have a strong background in proof theory and related topics. The principal responsibility of the postdoc will be to carry out research in the area of proof theory within the project STRUCTURAL. There are no teaching duties. For further information, see http://www.lix.polytechnique.fr/~lutz/orgs/structural-postdoc.html or contact Lutz Strassburger l...@lix.polytechnique.fr or Kaustuv Chaudhuri kaustuv.chaudh...@inria.fr Applications should be sent via email to Lutz Strassburger l...@lix.polytechnique.fr and Kaustuv Chaudhuri kaustuv.chaudh...@inria.fr, and should include a CV, a research statement (1-2 pages), and two recommendation letters. The application deadline is *** May 20, 2011 ***
