1 model-checking positions at University of Warsaw: Faculty of Mathematics, Informatics and Mechanics

Assistant (Research Staff Position) in Mathematics/Computer Science at the University of Warsaw – ERC Consolidator Grant BUKA: Limits of Structural Tractability

University of Warsaw: Faculty of Mathematics, Informatics and Mechanics | Poland | 9 days ago

: background in mathematical logic and model theory. If hired, the University of Warsaw should be the primary workplace for the successful candidate. Criteria for the assessment of candidates publications