-
logic and computation in classical and algebraic frameworks. This is an active area within logic in computer science and database theory with many possible research directions. The supervisor will help
-
computation in classical and algebraic frameworks. This is an active area within logic in computer science and database theory with many possible research directions. The supervisor will help the selected
-
promote both the research and the selected candidate’s academic development. The position is fixed-term with the main purpose of preparing a dissertation related to the project in the Doctoral Programme in
-
is fixed-term with the main purpose of preparing a dissertation related to the project in the Doctoral Programme in Science (SciDoc) of the University of Helsinki. The researcher will write scientific