[DMANET] Long-Term Research Visit - Theoretical Aspects of Automated Theorem Proving - University of Bergen - Norway - Soft Deadline: January 20 / 2020 -

*Call:*

Researchers interested in visiting the Algorithms group at the University
of Bergen to conduct
theoretical research in the field of automated theorem proving are invited
to send expressions
of interest (and a CV) to mateus.oliveira@uib.no. Please write "LONG TERM
RESEARCH VISIT"
in the subject field. More details are provided below.

*Requirements:*

1) The visitor should have received a Ph.D. in computer science or
mathematics and
should currently be employed in a Postdoc or more senior position (anywhere
on earth).

2) The visitor should have a strong background in some theoretical field
related to automated
theorem proving. Examples of fields of interest are algorithms, automated
reasoning, proof theory,
proof complexity theory, machine learning, artificial intelligence,
satisfiability theory, etc.

3) Visitors are expected to have a genuine interest in working on research
questions related
to the field of automated theorem proving.

*Application Process:*

The host will discuss a suitable project and visiting plan with selected
prospective visitors. A formal
application will be sent by the host on the behalf of the visitor to the
Research Council of Norway in
accordance with this call
<https://www.forskningsradet.no/en/call-for-proposals/2019/funding-for-research-stays-in-norway-for-guest-researchers/>
.

The decision of which applications will be formally submitted to the
Research Council of Norway will be
made by the end of January. Interested researchers are strongly encouraged
to submit their
expressions of interest before this date.


*Financial support:*
Successful applications will receive funding of up to *30000 NOK (approx
3300 USD)* per month to
cover the following expenses.

1) Return flight/train tickets between the visitor's location and Bergen.
2) Accommodation.
3) Local expenses.

More details can be found here
<https://www.forskningsradet.no/en/apply-for-funding/Budget/what-to-enter-in-the-project-budget/rates-for-visiting-researcher-grants/>
.

*Duration:*

The minimum length of a visit is 1 month, although researchers willing to
visit for substantially longer periods
will be given a much higher priority. The maximum length of a visit is 12
months.

*Starting-Finishing Dates:*

Flexible, but preferentially after August 2020.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************