1 formal-method-phd uni jobs at University of Warsaw: Faculty of Mathematics, Informatics and Mechanics in Poland

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 | 8 days ago

/undertaking dr hab. Szymon Toruńczyk Description of programme/project/undertaking The combination of methods from logic and graph theory has been extremely successful in the design of algorithms, in complexity