1 – 2 of 2 jobs
We are sharing a specialised part-time consulting opportunity for accomplished mathematics researchers experienced in advanced mathematical reasoning, proof evaluation, problem development, formalisation, conjecture exploration, and frontier-level research. This role supports a remote research collaboration focused on improving
We are sharing a specialised part-time consulting opportunity for formal-methods professionals with hands-on expertise in Lean 4, interactive theorem proving, mathematical formalisation, program verification, and proof evaluation. This role supports an advanced AI research initiative focused on
Recommended jobs for you
