<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><b>Milestone-Based Paid Remote Short-Term Projects in Formalization of Algorithms </b><br></div><div dir="ltr"><div><div><br></div><div><div><b>Call: </b></div><div><br></div><div>Applications are sought for students interested in taking part in projects related to proof formalization. </div><div>These projects will happen in the context of the project </div><div><br></div><div>"Automated Theorem Proving from the Mindset of Parameterized Complexity Theory", </div><div><br></div><div>which is hosted at the University of Bergen (Norway), and which is financed by the Research Council of Norway. </div><div><br></div><div>The call is primarily open to students in Computer Science or Mathematics (at all levels). Students from anywhere</div><div>in the world can apply. Prospective applicants should have excellent skills in proof formalization in some mainstream</div><div>proof assistants. Proficiency in the Coq proof assistant will be given priority. </div><div><br></div><div>The main activity will be the formalization of data structures and algorithms of relevance to the field</div><div>of automated theorem proving. These data structures and algorithms will be discussed in great detail during</div><div>the execution of the project. </div><div><br></div><div>The projects will be conducted completely remotely and will be milestone-based. A typical project will have</div><div>a total of 6 milestones, with an expected time of 2 weeks for the completion of each milestone. So the total</div><div>expected time for the conclusion of a project is about 3 months. The student will get an award of 200 EUR upon</div><div>the completion (and approval) of each milestone, and before the start of the next milestone (that means 1200 EUR for</div><div>the whole project). These numbers may vary depending on the project, on the skills of the student, and on a previous</div><div>agreement. Requirements and expectations will be discussed before the start of the project. </div><div><br></div><div>The student will be invited to join a research paper related to their project. </div><div><div></div></div><div></div><div><br></div><div>The milestones are challenging and will require a substantial amount of effort from the part of the student. </div><div><br></div><div>Requirements:</div><div><br></div><div>1) Excellent skills in proof formalization in some mainstream proof assistant. Proficiency in the Coq proof assistant will be given priority. </div><div>2) Availability to meet by skype (or other media) at least one hour per week.</div><div>3) Ability to conduct the project independently, and timely.</div><div>4) Drive for challenges.</div><div><br></div><div><b>Application: </b>Please send an email with a SINGLE PDF to <a href="mailto:mateus.oliveira@uib.no" target="_blank">mateus.oliveira@uib.no</a> containing the following information. <br></div><div>Please write REMOTE PROJECT IN PROOF FORMALIZATION in the subject line. </div><div><br></div><div>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. </div><div>2) Your CV. </div><div>3) A transcript of your grades.<br></div></div></div><div>4) (Optional) Letters of recommendation. Alternatively, the person recommending you may write directly to me. </div><div><br></div><div>Best Regards, </div><font color="#888888"><div><span style="color:rgb(34,34,34)"><br></span></div><div><span style="color:rgb(34,34,34)">Mateus</span><span style="color:rgb(34,34,34)"> de </span><span style="color:rgb(34,34,34)">Oliveira</span><span style="color:rgb(34,34,34)"> </span><span style="color:rgb(34,34,34)">Oliveira</span><br></div><div><div style="color:rgb(34,34,34)"><span>Postdoctoral</span> Researcher in Algorithms</div><div style="color:rgb(34,34,34)">Department of Informatics, University of Bergen, Norway</div><div style="color:rgb(34,34,34)"><a href="http://www.unitslice.org/" target="_blank">http://www.unitslice.org/</a></div></div></font></div>
</div></div><div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br>
<table style="border-top:1px solid #d3d4de">
<tr>
<td style="width:55px;padding-top:13px"><a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail" target="_blank"><img src="https://ipmcdn.avast.com/images/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif" alt="" width="46" height="29" style="width: 46px; height: 29px;"></a></td>
<td style="width:470px;padding-top:12px;color:#41424e;font-size:13px;font-family:Arial,Helvetica,sans-serif;line-height:18px">Virus-free. <a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail" target="_blank" style="color:#4453ea">www.avast.com</a>
</td>
</tr>
</table><a href="#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"></a></div>