#IkoKaziKE

Back to jobs

Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

Humanitapp

full time Thitani location, Kitui County, Kenya Posted 54 minutes ago