Research Engineer - Formal Methods · code-metal