Thursday, October 17, 2019

[DMANET] Medium-Term Research Visit - Algorithmic Aspects of Automated Theorem Proving - University of Bergen - Norway - Soft Deadline: November 8

*Call:*

Researchers interested in visiting the Algorithms group at the University
of Bergen to conduct
research on the algorithmic aspects of automated theorem proving are
invited to send expressions
of interest to mateus.oliveira@uib.no. Please see the section "Expressions
of Interest" below
for more instructions.

*Requirements:*

1) The prospective 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) Visitors with either a strong background in theory or with a strong
background in programming
are welcome. Fields of interest include automated reasoning, automata
theory, algorithms, proof theory,
proof complexity theory, machine learning, artificial intelligence, etc.

3) Visitors are expected to have a genuine interest in working on
algorithmic problems in the field of
automated theorem proving, although previous work in this specific area is
not a requirement.

*Application Process:*

Expressions of interest will start to be analyzed on *November 8*.
Interested researchers are strongly
encouraged to submit their expressions of interest before this date. Late
submissions may still be
considered until November 22, depending on disponibility.

The host will discuss a suitable project and visiting plan with selected
prospective visitors.
Short formal applications will be sent by the host, on the behalf of the
visitors, to the SPIRE program,
a strategic program from the University of Bergen aimed at supporting
international research collaboration.


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

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

Note: The cost of flight/train tickets will be reimbursed at the end of the
stay. On the other hand,
if the researcher prefers, accommodation can be booked and paid for
directly by the university
using the available funds.

*Duration:*

The minimum duration of a research visit is 1 month. The maximum duration
is 3 months.

*Starting-Finishing Dates:*

Flexible, but preferentially during the period 15/Jan/2020-15/Jun/2020.

*Expression of Interest:*

If the possibility of visiting the Algorithms group at the University of
Bergen
with the intention to do research in the algorithmic aspects of automated
theorem proving sounds interesting to you, please send the following
information, *in a single PDF file*, to mateus.oliveira@uib.no . Please
write
RESEARCH VISIT on the subject field.

1) A short motivation letter describing your main research interests and
fields of expertise.
2) Your CV.
3) Desired starting and finishing dates.

**********************************************************
*
* 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/
*
**********************************************************