Camilo Thorne Rheinhäuser Str. 9A 68165, Mannheim, Germany mobile: +49(0)15202380352 http://www.camilothorne.com <http://camilothorne.com/>
"Exegi monumentum aere perennius" (Horatius, Ode III-30) ---------- Forwarded message --------- From: Mateus de Oliveira Oliveira <mateus.olive...@gmail.com> Date: Sun, Oct 20, 2019 at 10:06 PM Subject: [Proof Complexity] Medium-Term Research Visit - Algorithmic Aspects of Automated Theorem Proving - University of Bergen - Norway - Soft Deadline: November 8 To: <proof-complex...@math.cas.cz> *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.olive...@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.olive...@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. _______________________________________________ Proof-Complexity mailing list proof-complex...@math.cas.cz https://list.math.cas.cz/listinfo/proof-complexity -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJPxwsfsqyYvp9q_c0y09BEMHBS_rPV4b9JYr1CfzadazT0dHQ%40mail.gmail.com.