Researcher/Data Scientist – American company, Full remote of Manpower | Expats.cz

For our client, an American company and leader in SW verification focused on the security and accuracy of Ethereum smart contracts, we are looking for a Researcher / Data Scientist experienced in at least one of the following areas: model checking, theorem proof, software checking, static analysis, solving modulo satisfiability theories (SMT) or propositional solving (SAT).

We are looking for either junior candidates with a college degree or senior professionals.

Your responsibility:

  • Develop an innovative and reliable program verification tool that leverages automated reasoning, static analysis, abstraction, and SMT resolution to verify real programs.

  • Collaborate with world-class computer scientists and researchers to conduct fundamental research in formal methods and software verification.

  • Communicate research ideas both internally and externally through lectures, lectures and publications at academic and industry conferences.

  • Gradually train and gain hands-on experience in various areas of software verification to eventually become a true expert in this field.

Mandatory:

  • Master’s degree (may be in progress) in Computer Science or Mathematics with (at least partial) emphasis on formal methods or software verification or SAT/SMT solving.

  • Ability to clearly articulate problems and solutions.

  • Ability to quickly develop and validate research hypotheses.

  • Ability to work in a team and communicate ideas with confidence and enthusiasm.

  • At least 2 years of experience developing medium to large codebases.

  • Experience with code review and distributed version control.

Prefer:

  • Experience with compilers, functional programming, static analysis, automated reasoning and interactive theorem proving is a plus.

  • Publication(s) at decent (or even high-level) academic conferences in the areas of programming analysis, verification, SAT and SMT solving, or formal methods.

  • Membership in an academic lab focused on theoretical computer science, formal verification, or a related field.

  • Experience in teaching university courses such as algorithms, logic, automata theory or mathematics.

  • Kotlin or Java experience

Useless:

Our advantages:

  • Small agile and friendly team.

  • Ability to work on advanced and difficult problems.

  • Unlimited vacations.

  • Flexible working hours.

  • Work from home, personal office, coworking space, or team office (depending on candidate preferences and location).

  • Ability to travel to the United States or Israel to visit other members of the Certora team and attend cryptocurrency and formal verification conferences around the world.

Benefits of the position

More than 5 weeks vacation
home office
Flexible working time

Sean N. Ayres