Plus
Включить Plus
Назад
Company hidden
13 дней назад

Postdoc Cyclic Programming and Reasoning (Rust)

3 546 - 5 538€
Формат работы
onsite
Тип работы
fulltime
Грейд
middle
Английский
b2
Страна
Netherlands
Релокация
Netherlands
Вакансия из списка Hirify.GlobalВакансия из Hirify Global, списка международных tech-компаний
Для мэтча и отклика нужен Plus

Мэтч & Сопровод

Для мэтча с этой вакансией нужен Plus

Описание вакансии

Текст:
/

TL;DR

Postdoc Cyclic Programming and Reasoning (Rust): Designing and prototyping verification tools for Rust programs with an accent on inductive and coinductive reasoning using proof assistants. Focus on translating Rust programs into machine-checkable proofs in Agda or Rocq to ensure software correctness.

Location: Based at hirify.global; relocation to the Netherlands is required

Salary: €3,546 – €5,538 per month

Company

hirify.global is a top international university combining science, engineering, and design to address global challenges.

What you will do

  • Design and prototype a system to verify Rust programs by translating them into proof assistants along with logical annotations.
  • Apply state-of-the-art research on inductive-coinductive type theory to make verification tools usable for Rust developers.
  • Collaborate with a PhD project on first-class coinduction to refine underlying type theory.
  • Publish research findings at leading venues such as POPL, ICFP, OOPSLA, ITP, and CPP.
  • Contribute to open-source tools developed within the NWO-XL consortium.

Requirements

  • PhD in computer science, mathematics, or a closely related discipline.
  • Solid experience using proof assistants such as Agda, Rocq (Coq), or Lean for non-trivial formalisations.
  • Strong background in type theory and programming language theory, including dependent types and program verification.
  • Proven ability to conduct independent research with peer-reviewed publications at international venues.
  • Good written and spoken English and strong communication skills for consortium collaboration.

Culture & Benefits

  • 2-year temporary contract with a flexible working week (36-40 hours).
  • Competitive salary and benefits in accordance with the Collective Labour Agreement for Dutch Universities.
  • Excellent pension scheme via ABP and annual individual employment packages.
  • Relocation support through the Coming to Delft Service, including events and a Dual Career Programme for partners.
  • Generous leave policy (232 hours per year) and opportunities for ongoing education and training.

Будьте осторожны: если работодатель просит войти в их систему, используя iCloud/Google, прислать код/пароль, запустить код/ПО, не делайте этого - это мошенники. Обязательно жмите "Пожаловаться" или пишите в поддержку. Подробнее в гайде →