alignerr · Wetenschap, technologie, techniek en wiskunde

Wetenschapper formele verificatie (Lean 4 & Mathlib)

Alignerr

$170–$200/uurWerklocatie: EdinburghOp afstandLocatievereisten niet vermeld

Deze vacature is automatisch vertaald. Het oorspronkelijke platform behandelt sollicitaties; controleer de oorspronkelijke eisen voordat je solliciteert. Oorspronkelijke pagina bekijken

Over de functie

Zet je beheersing van formele bewijzen in aan de frontlinie van AI. Formaliseer geavanceerde wiskunde in Lean 4 — remote, flexibel en uitzonderlijk goed b...

Het platform geeft een korte samenvatting. Lees alle eisen in de oorspronkelijke vacature.

Meer vacatures in dit vakgebied →