← All positions

Research · India · Remote

Research Scientist — Formal Methods & Logic

Apply formal verification, type theory, and mathematical logic to the foundations of samarai's world model.

Apply for this role