• log in
  • create an account

Cooperation offers

switch registrations cancel selection

The offer displayed on this page is limited to the selected registration. If you want to see the rest of the offer, select a different registration.

[WA-UW-MIM] Quantitative properties for higher-order recursion schemes

Details
Code WA-UW-MIM-RS
Organizational unit [WA-UW] University Warsaw
Position Assistant professor, Post-doc
Duration 12 months
  Ask a question
Phase 1 (09.05.2022 00:00 – 31.12.2022 23:59)

Active phases in other registrations:
  • Job offers
    Phase 1 (09.05.2022 00:00 – 31.12.2022 23:59)

Project title: Quantitative properties for higher-order recursion schemes

Principal Investigator: Paweł Parys

Project description: The project concerns higher-order recursion schemes, that form a generalization of context-free grammars, where we allow nonterminals to take arguments. Within the project we want to develop mathematical tools allowing estimation of some quantities in trees generated by recursion schemes. The area of the project is closely related to automata theory, lambda calculus, and automatized analysis (verification) of computer programs.

Research tasks:

The candidate should conduct scientific research on topics related to the subject of the grant "Quantitative properties for higher-order recursion schemes", that is, to automata theory, lambda calculus, automatized analysis (verification) of computer programs. It is mainly a theoretical research (proving theorems, etc.), but there is also a possibility of implementation of algorithms related to this area.

 

Requirements:

  1. Ph.D. in mathematics.
  2. The candidate was employed in a Ukrainian university before the war started.
  3. The candidate left (or is about to leave) Ukraine after Feb. 24th, 2022.
  4. Field of interest related to the research area of the project.

Monthly salaries are comparable with typical Polish academic standards; for more information please do consult the PI.