- Remote
- Part-time
- IT
... as a tool. MSc/PhD with lab or simulation practice, currently doing research. Owning unpublished data helps. - Formal Methods & Algorithms: mathematician or computer scientist: Lean/Coq formalizer, ICPC or olympiad competitor, or operations-research modeler. MSc/PhD in mathematics or computer science. - Operations: business ...
Australia