Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (North Vancouver)

Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (North Vancouver)

25 Sep

|

Alignerr

|

North Vancouver

25 Sep

Alignerr

North Vancouver

Seeking a mathematician with expertise in formal proof languages like Lean to translate complex mathematical arguments into machine-verifiable formalizations for AI research.

📌 Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (North Vancouver)
🏢 Alignerr
📍 North Vancouver

Reply to this offer

Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.

Opérateur de camion vacuum et basse pression (Saint-Anaclet-de-Lessard)

Opérateur de camion vacuum et basse pression (Saint-Anaclet-de-Lessard)

Saint-Anaclet-de-Lessard

25 Sep
Sani-Manic
Saint-Anaclet-de-Lessard

Le poste consiste à opérer nos camions dans différents milieux de travail (résidentiel, commercial et industriel). Travail à temps plein. Condition : posséder une classe 3 et avoir participé au [...]

Opérateur de camion vacuum et basse pression (Amqui)

Opérateur de camion vacuum et basse pression (Amqui)

25 Sep
Sani-Manic
Amqui

Le poste consiste à opérer nos camions dans différents milieux de travail (résidentiel, commercial et industriel). Travail à temps plein. Condition : posséder une classe 3 et avoir participé au [...]

Opérateur de camion vacuum et basse pression (Amqui)

Opérateur de camion vacuum et basse pression (Amqui)

25 Sep
Sani-Manic
Amqui

Le poste consiste à opérer nos camions dans différents milieux de travail (résidentiel, commercial et industriel). Travail à temps plein. Condition : posséder une classe 3 et avoir participé au [...]

Opérateur de camion vacuum et basse pression (Amqui)

Opérateur de camion vacuum et basse pression (Amqui)

25 Sep
Sani-Manic
Amqui

Le poste consiste à opérer nos camions dans différents milieux de travail (résidentiel, commercial et industriel). Travail à temps plein. Condition : posséder une classe 3 et avoir participé au [...]