Search by company, role, stack, location, salary signal, source, and work setup.
Start with search, then tighten by role, stack, work setup, salary, source, and recency.
Matches company, description, role, stack, location, and compensation text.
Semantic search for fuzzy concepts. Use keywords for exact matches.
Pick one or more technologies. Parent stacks include related child tools.
Use role tags when keywords are too loose.
1 matching job
Page 1 of 1
Formal Land
Posted 4 years, 6 months ago
At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally verifying th…
Remote, Paris
