Formal Mathematician - Fully Remote

strategy and formalization choices precisely. Preferred Experience with other proof assistants or dependently typed...

Lugar: Berlin | 07/10/2026 17:10:08 PM | Salario: S/. No Especificado | Empresa: Mercor

Senior User Acquisition Manager I Paid Social

strategy and the execution behind how we scale paid social. Meta and TikTok are live today and ready for you to pick up... strategy across Meta and TikTok, from awareness through to conversion, and run execution end to end: setup, budgets, pacing...

Lugar: Berlin | 04/10/2026 02:10:06 AM | Salario: S/. No Especificado | Empresa: Clue

Insurance Risk Expert - Fully Remote

assessment, claims management, actuarial pricing and reserving, reinsurance strategy, and regulatory/compliance affairs. Develop...

Lugar: Berlin | 01/10/2026 17:10:59 PM | Salario: S/. No Especificado | Empresa: Mercor

Lean Engineer - Formal Mathematics

strategy and formalization choices precisely. Preferred Experience with other proof assistants or dependently typed...

Lugar: Berlin | 01/10/2026 17:10:13 PM | Salario: S/. No Especificado | Empresa: Mercor