Hi everybody,

The chair of Theoretical Computer Science and Theorem Proving is looking to hire a student to help grade the regular and retake exams for the following two courses offered this winter semester 2025/26:

• Scientific and Technical English for Computer Scientists
• Automated Theorem Proving

The working contract will be for eight hours per week from mid-February to mid-April. In practice, the working schedule will consist of two blocks of a few full-time days of work (one block to grade the regular exam and one block for the resit exam).

Candidates should have a good proficiency in written English. Having successfully attended the Automated Theorem Proving course is desirable but not mandatory.

Please send your applications including a curriculum vitae and a transcript of records to Dr. Martin Desharnais-Schäfer by 15 November 2025.