[DMANET] Milestone-Based Paid Remote Short-Term Programming Projects in Algorithms (Soft deadline 31 Aug)

*Milestone-Based Paid Remote Short-Term Programming Projects in Algorithms*

*Call: *

Applications are sought for students interested in taking part in projects
involving the
implementation of advanced algorithms and data structures of relevance to
the field
of automated theorem proving. 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 (link
<https://prosjektbanken.forskningsradet.no/#/project/NFR/288761/Sprak=no>).

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 C++ and should have a strong interest
in algorithms. Students with experience in participating in programming
competitions are strongly encouraged to apply.

The main activity will be the implementation 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 milestones are challenging and will require a substantial amount of
effort from the part of the student.
Students will have the opportunity of participating in the writing up of
research papers with results obtained
in their projects.

Requirements:

1) Excellent skills in programming in C++.
2) Availability to meet by skype (zoom, teams, etc) 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@uib.no containing the following information.
Please write REMOTE PROJECT IN ALGORITHMS in the subject line. Applications
will be reviewed continuously.
Soft Deadline: 31st August. The earliest starting date is September 1st.

1) A cover letter specifying your skills in algorithms, in C++ programming,
and a suitable date for you to start the project.
2) Your CV.
3) A transcript of your grades.
4) Letters of recommendation (not required). The person recommending you
may write an email directly to me.

Best Regards,

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

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