[Agda] Milestone-Based Paid Remote Short-Term Projects in Formalization of Algorithms

[Mateus de Oliveira Oliveira]

*Milestone-Based Paid Remote Short-Term Projects in Formalization of
Algorithms *

*Call: *

Applications are sought for students interested in taking part in projects
related to proof formalization.
These projects will happen in the context of the project

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

which is hosted at the University of Bergen (Norway), and which is financed
by the Research Council of Norway.

The call is primarily open to students in Computer Science or Mathematics
(at all levels). Students from anywhere
in the world can apply. Prospective applicants should have excellent skills
in proof formalization in some mainstream
proof assistants. Proficiency in the Coq proof assistant will be given
priority.

The main activity will be the formalization of data structures and
algorithms of relevance to the field
of automated theorem proving. These data structures and algorithms will be
discussed in great detail during
the execution of the project.

The projects will be conducted completely remotely and will be
milestone-based. A typical project will have
a total of 6 milestones, with an expected time of 2 weeks for the
completion of each milestone. So the total
expected time for the conclusion of a project is about 3 months. The
student will get an award of 200 EUR upon
the completion (and approval) of each milestone, and before the start of
the next milestone (that means 1200 EUR for
the whole project). These numbers may vary depending on the project, on the
skills of the student, and on a previous
agreement. Requirements and expectations will be discussed before the start
of the project.

The student will be invited to join a research paper related to their
project.

The milestones are challenging and will require a substantial amount of
effort from the part of the student.

Requirements:

1) Excellent skills in proof formalization in some mainstream proof
assistant. Proficiency in the Coq proof assistant will be given priority.
2) Availability to meet by skype (or other media) at least one hour per
week.
3) Ability to conduct the project independently, and timely.
4) Drive for challenges.

*Application: *Please send an email with a SINGLE PDF to
mateus.oliveira at uib.no containing the following information.
Please write REMOTE PROJECT IN PROOF FORMALIZATION in the subject line.

1) A cover letter specifying your skills in proof formalization and when
you would like to start a project. The earliest time is June 15.
2) Your CV.
3) A transcript of your grades.
4) (Optional) Letters of recommendation. Alternatively, the person
recommending you may write directly to me.

Best Regards,

Mateus de Oliveira Oliveira
Postdoctoral Researcher in Algorithms
Department of Informatics, University of Bergen, Norway
http://www.unitslice.org/

<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Virus-free.
www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200516/8b692bb5/attachment.html>