Fwd: [Coq-Club] Milestone-Based Paid Remote Short-Term Projects in Formalization of Algorithms
5 views
Skip to first unread message
Andrés Sicard-Ramírez
May 16, 2020, 12:08:51 PM5/16/20
to
---------- Forwarded message ---------
From: Mateus de Oliveira Oliveira <mateus....@gmail.com>
Date: Fri, 15 May 2020 at 03:39
Subject: [Coq-Club] Milestone-Based Paid Remote Short-Term Projects in
Formalization of Algorithms
To: <coq-...@inria.fr>
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 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....@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) Letters of recommendation (not required). 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/
La información contenida en este correo electrónico está dirigida
únicamente a su destinatario y puede contener información
confidencial, material privilegiado o información protegida por
derecho de autor. Está prohibida cualquier copia, utilización,
indebida retención, modificación, difusión, distribución o
reproducción total o parcial. Si usted recibe este mensaje por error,
por favor contacte al remitente y elimínelo. La información aquí
contenida es responsabilidad exclusiva de su remitente por lo tanto la
Universidad EAFIT no se hace responsable de lo que el mensaje
contenga. The information contained in this email is addressed to its
recipient only and may contain confidential information, privileged
material or information protected by copyright. Its prohibited any
copy, use, improper retention, modification, dissemination,
distribution or total or partial reproduction. If you receive this
message by error, please contact the sender and delete it. The
information contained herein is the sole responsibility of the sender
therefore Universidad EAFIT is not responsible for what the message
contains.
--
Andrés
--
Andrés
From: Mateus de Oliveira Oliveira <mateus....@gmail.com>
Date: Fri, 15 May 2020 at 03:39
Subject: [Coq-Club] Milestone-Based Paid Remote Short-Term Projects in
Formalization of Algorithms
To: <coq-...@inria.fr>
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 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....@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) Letters of recommendation (not required). 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/
La información contenida en este correo electrónico está dirigida
únicamente a su destinatario y puede contener información
confidencial, material privilegiado o información protegida por
derecho de autor. Está prohibida cualquier copia, utilización,
indebida retención, modificación, difusión, distribución o
reproducción total o parcial. Si usted recibe este mensaje por error,
por favor contacte al remitente y elimínelo. La información aquí
contenida es responsabilidad exclusiva de su remitente por lo tanto la
Universidad EAFIT no se hace responsable de lo que el mensaje
contenga. The information contained in this email is addressed to its
recipient only and may contain confidential information, privileged
material or information protected by copyright. Its prohibited any
copy, use, improper retention, modification, dissemination,
distribution or total or partial reproduction. If you receive this
message by error, please contact the sender and delete it. The
information contained herein is the sole responsibility of the sender
therefore Universidad EAFIT is not responsible for what the message
contains.
--
Andrés
--
Andrés
Reply all
Reply to author
Forward
0 new messages