...na área de Lógica, no exterior. Confiram abaixo. JM ------------------------------
PhD-student position in Mathematical Logic The Department of Mathematics at Stockholm University announces a PhD-student position in mathematical logic. A prospective student will have the opportunity to engage in exciting research related to constructive and category-theoretic foundations of mathematics. Possible subjects include for instance: type theory, categorical logic and constructive mathematics and its algorithmic content. The Stockhom-Uppsala area has a longstanding Logic Seminar with many international guests (www.math.uu.se/Research/Seminars/Logic/?languageId=1) For further information and instructions how to apply, see the Department webpage www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=99997 The deadline for applications is November 20, 2011. Erik Palmgren Professor of Mathematical Logic Department of Mathematics Stockholm University E-mail: [email protected] ------------------------------ Postdoctoral Research Associate ?30,870 starting salary + annual increments. PhD studentship Fees paid + an annual maintenance grant of ?13,590 per annum for three years. 1st May 2012 - 30 April 2015 Philosophy Department, University of Kent To work with Prof. Jon Williamson on a project to research the relationship between Bayesian epistemology and inductive logic, funded by the UK Arts and Humanities Research Council. The Postdoctoral Research Associate will focus on the development of a particular inductive logic, analysis of its key properties, and the development of computationally tractable methods for performing inferences in the inductive logic. This will require some familiarity with probability and logic. Programming competence would also be desirable. Applicants will be expected to hold a PhD on a related topic in mathematics, computing, philosophy or a related subject. The PhD student will focus on the question of whether the resulting inductive logic survives a number of philosophical critiques. This will require competence in philosophical argumentation and knowledge of epistemology and elementary logic. Applicants will be expected to hold a Master's degree, and a Bachelor's degree at class 2(i) or higher; at least one of these degrees should be in philosophy. Information about the project and application process is available at http://www.kent.ac.uk/reasoning/obeil.pdf The deadline for applications is 15th December 2011. ------------------------------ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
