Logic List Mailing Archive

Postdoctoral position (3y) and PhD student position in symbolic algorithms, Bergen (Norway), Deadline: 14 Nov 2021

Symbolic algorithms are algorithms where the input data is represented 
implicitly. Such algorithms are particularly relevant in contexts where 
the data to be processed is too large to be specified in an explicit form. 
The Algorithms Group at the University of Bergen (Norway) has currently 
two open positions in the field of symbolic algorithms. These positions 
are financed by the project "Symbolic Algorithms: A Parameterized 
Approach", a 12 Million NOK research project funded by the Research 
Council of Norway under the Ground Breaking Research framework.

Postdoc Position - 3-year position with an initial salary of 535,500 NOK
per year (approx 52,500 EUR per year) before taxes.
Ph.D. Position - 3-year position, with the possibility of a fourth year, if
teaching is involved. Initial salary: 491,200 NOK per year (approx 48,000
EUR per year) before taxes.

Applicants for the Ph.D. student position should have a master's degree (or
obtain a master's degree before 31/01/2022) and a strong background in a
related subfield of theoretical computer science. Applicants for the
Postdoc position should have in addition, a Ph.D. degree (or obtain a Ph.D.
degree before 31/01/2022) and a strong publication record in some related
subfield of theoretical computer science. Examples of fields of relevance
to the position are: algorithms, graph theory, combinatorics, automata
theory, type theory, etc.
For more information, please contact the project leader, Mateus de Oliveira
Oliveira (mateus.oliveira@uib.no). The links for the official announcements
of the positions are given below.

Postdoc position:
https://www.jobbnorge.no/en/available-jobs/job/212553/postdoctoral-research-fellow-position-within-informatics-symbolic-algorithms
Ph.D. student position:
https://www.jobbnorge.no/en/available-jobs/job/212570/phd-research-fellow-in-informatics-symbolic-algorithms
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam