« Najít podobné dokumenty

Akademie věd České republiky - Požadavky

Tento dokument byl načten z úřední desky, kterou vede Akademie věd České republiky.


Z důvodu ochrany osobních údajů nemůžeme dokumenty zobrazovat neregistrovaným uživatelům.

Požadavky
Výběrová řízení - Akademie věd České republiky04.09.2020 Filosofický ústav AV ČR,v.v.i.vyhlašuje v souladu se zákonem č.283/1992 Sb.o Akademii věd České republiky,ve znění zákona č.420/2005 Sb.a Stanov AV ČR výběrové řízení na pozici POSTDOCTORAL POSITIONS Požadavky:
The Institute of Philosophy of XXX XXXXX Academy of Sciences welcomes applications for two full-time postdoc positions.The two postdocs will work within a project led by Ansten Klev on type theory and the philosophy of mathematics.XXX XXXX XXX of XXX project is to develop a philosophy of mathematics for Martin-Löf type theory.The postdocs will pursue research programmes of their own that in some way contribute to this XXXXXXX XXX <.>
POSTDOCTORAL POSITIONS
Both positions last for XX months and will start in January 2021.In XXX XXXXX part of this X-year project emphasis will be placed on developing an inferentialist meaning theory for mathematical language.We are especially looking for researchers who fit at least one of XXX following descriptions:
X.XXX XXX XXXX acquainted with inferentialism in at least one of its incarnations (proof-theoretic semantics,the Brandom tradition),and XXX XXX interested in extending the programme to XXX language of mathematics.If XXX XXX not already familiar with Martin-Löf type theory,XXX XXX XXXXXXX to learn the basics of XXX system after arriving in Prague <.>
X.XXX XXX XXXX acquainted XXXX XXX technical aspects of Martin-Löf type theory and are familiar with Martin-Löf's meaning explanations.You might even know some homotopy type theory and have thought about XXX XXX meaning explanations fare within that or other extensions of Martin-Löf type theory <.>
A more detailed description of XXX project is available upon request from Ansten Klev: klev@flu.cas.cz.The deadline for applying is October 15.Applications should be sent to XXXX XXXXXXXXX,bazantova@flu.cas.cz.The application should consist of a CV and a brief (1-2 pages) description of XXX research the applicant plan...

Načteno

edesky.cz/d/4113651

Meta

Nic nerozpoznáno


Z důvodu ochrany osobních údajů nemůžeme dokumenty zobrazovat neregistrovaným uživatelům.

Chcete vědět víc?

Další dokumenty od Akademie věd České republiky
27. 11. 2020
24. 11. 2020
24. 11. 2020
13. 11. 2020
11. 11. 2020
  ...a další
Více dokumentů od Akademie věd České republiky      Zasílat nové dokumenty emailem      Napište portálu edesky.cz