Job Description

At Movement Labs, we are leading the way in blockchain technology with an open modular framework for building and deploying Move-based infrastructure, applications, and blockchains in any distributed environment. We are looking for a leader to spearhead our formal verification research team. You will be responsible for driving forward research initiatives related to the formal verification across our technology stack, including setting research goals, leading a team of researchers, and actively participating in the research process.

Responsibilities

• Lead a team of researchers in the area of formal verification

• Define and set research goals and benchmarks

• Oversee the design and execution of research projects

• Collaborate with other teams and stakeholders to ensure alignment with broader organizational goals

• Monitor and evaluate the progress and results of research projects

• Engage in the academic research community, promoting Movement Labs as a catalyst for building better and more secure blockchain technologies.

Qualifications 

• PhD in Computer Science, Mathematics, or related field

• Extensive experience in formal verification research

• A proven track record of success in research leadership roles such as a Chief Scientist, Head of Research, Director of research, or a similar senior position.

• Excellent analytical and problem-solving abilities

• Strong written and verbal communication skills

• Active in the academic community