
Search by job, company or skills
Showing 1 job
Skills:
Scipy, Numpy, Docker, Python, SymPy, Large-scale numerical computation, Scientific Computing, Formal derivations, Numerical methods, Mathematical proofs, formal verification, Automated theorem proving
