The Coq mailing list

[Mateus de Oliveira Oliveira <mateus.oliveira AT gmail.com>]

Hi, 

The Department of Informatics at the University of Bergen (Norway) has 

announced a 3 years PhD position in Algorithms. The focus of the position

will be on the algorithmic aspects of automated reasoning, and in particular,

in the algorithms aspects of automated theorem proving. The position is

part of the project

"Automated Theorem Proving from the Mindset of Parameterized Complexity Theory",

which is funded by the Research Council of Norway. The applicant should

have a strong background in some relevant sub-field of theoretical computer

science. Examples of relevant fields are: algorithms, complexity theory, proof

complexity theory, type theory, automata theory, computational logic, combinatorics, 

graph theory, etc.

Previous knowledge of parameterized complexity theory and/or automated theorem

proving is not a requirement, but is an advantage.

The deadline for the application is 05/May/2019.

Starting date: 01/August/2019, or as soon as possible thereafter.
Annual salary: NOK 449 400 before taxes (approx EUR 47000 per year before taxes).

The full announcement for the position, including instructions on how to apply,
can be found at

https://www.jobbnorge.no/en/available-jobs/job/168659/phd-position-in-algorithms

Please feel free to contact me if you have any further questions about the position.

Mateus de Oliveira Oliveira
mateus.oliveira AT uib.no
www.unitslice.org/mateus

Best regards,

Mateus

--------------------------------------------------------------------------

FAQ: 

About Bergen: 

Q: So how does Bergen look like? 

A: Like in these pictures. 

Q: Is Bergen Cold? 

A: Not so much. Please read this article in Wikipedia for a lot

of information about climate in Bergen.  The temperatures shown

in the average high and average low feel just right. 

About Requirements: 

Q: Do I need to have completed my Master's degree before applying? 

A: No. But you will need to have it completed before 01/August/2019. 

You cannot be employed at a PhD position at the University of Bergen

without a Master degree (or equivalent). 

Q: Do I need to have publications to apply for the position? 

A: Previous publication is not a requirement, but of course, they may

be used to access your ability to produce scientific work. So you are

encouraged to attach any publication/preprint/thesis in which you are a

co-author. Please see the formal announcement for more information.  

Q: Do I need to know Parameterized Complexity, and/or Automated 

Theorem Proving? 

A: Previous knowledge of parameterized complexity theory and/or

automated theorem proving is not a requirement, but it counts positively. 

The most important thing is that the applicant has a strong background

in a relevant subfield of theoretical computer science. Examples of relevant

fields are: algorithms, complexity theory, proof complexity theory, type theory,

automata theory, computational logic, combinatorics, graph theory, etc. 

Q: Do I need to know how to program? 

A: You will need to be able to program. An estimated workload is about 70%

of working on theory and 30% on programming.

About the application: 

Q: What is the most important thing in the application?

A: The most important part of the written application will be your motivation

letter, explaining why you are a great candidate for the position. Statements

made on the letter should be corroborated by objective evidence, like course

grades, publications, etc. Selected candidates may be called for an interview.

Interpersonal skills, such as the ability to collaborate will have a good weight

in the selection process. 

Q: Should I attach letters of reference?

A: This is not a requirement. But you need to name two references, which

may or may not be contacted.