Senior SW Engineer - US Company, Hightech verification SW, Bring your own ideas and tools

Náplň práce, pravomoci a zodpovědnosti

We are looking for a senior full-stack engineer that would help us build a benchmarking infrastructure. In particular, our tool can be configured via a large number of input flags and we would like to know which flags are suitable for which inputs (smart contracts and specifications). Also, whenever we make changes to CVT or want to evaluate a new feature, we want to be able to measure the change in the performance of the tool. Hence, the benchmarking infrastructure should allow us to run, in parallel on cloud, many instances of CVT on various inputs and using various configurations. Among others, the benchmarking infrastructure should:

Store various statistics about the computation (e.g. runtimes and memory consumption) to a database.
Have a web interface that would allow the user to see the current benchmarking status.
Generate tables and plots comparing the performance of the tool on individual inputs and configurations.
Maintain a database of benchmarks.

We have not decided on particular technologies that will be used while building the benchmarking infrastructure yet; we are looking for an experienced person (you) that will help us build a solution that seamlessly integrates into our existing infrastructure. Also, note that the above list shows just the basic features and if you find it boring, believe that you will work on much more interesting things. We expect you to fully specify the product and identify features that would be beneficial for the company and our customers, and features you would like to work on. For instance, apart from just measuring and storing the experimental data, we would like to analyze the data and detect causalities between the “properties” of the input smart contracts and the performance of our tool, and automatically identify the best configuration of our tool that should be used for a given input. 

Jiné výhody

Perks:

Small, agile, and friendly team.
Opportunity to work on cutting-edge and challenging problems.
Unlimited vacation.
Flexible working hours.
Possibility to attend related dev and academic conferences all around the world, or to visit other teams (mainly US and Israel).

The job location is Brno in the Czech Republic. We expect you to show up at the office 1-2 times a week; for the remaining days, you can work from home if preferred.

NABÍRÁME MUŽE I ŽENY
Naše inzeráty jsou v některých případech psány v ženském nebo mužském rodě. Tento postup byl zvolen výhradně proto, aby bylo dosaženo co nejvyšší plynulosti textu. V žádném případě se nevyjadřuje genderově podmíněný nebo diskriminační přístup naší společnosti k uchazečům a uchazečkám o volná pracovní místa.

Osobnostní předpoklady a dovednosti
For our client, a US company and leader in SW verification focusing on the security and correctness of Ethereum smart contracts, we are looking for a Senior SW Engineer. 
They are the only company that provides automated prover technology to verify smart contracts with no false alarms, strong formal correctness guarantees, and full automation. Their customers are some of the top DeFi protocol innovators; they develop smart contracts which are small event-driven programs invoked by end-users to execute financial transactions. Bugs in smart contracts can be exploited by malicious users and can lead to losses at the scale of millions or even billions of USDs. 
They are developing next-gen formal verification techniques to help top DeFis gain confidence in their contracts.

Required

5+ years of professional experience in the following areas: databases, web technologies, scripting, programming, and cloud computing.
Ability to clearly articulate problems and solutions, excellent written and verbal communication skills, work in globally distributed teams
Must be able to take ownership of transforming a high-level idea into a concrete deliverable.
Experience with code review and distributed version control.
Actively participate in the mentorship of new employees and interns and ensure that they have a successful and fun experience working with us.
Ability to lead junior developers that would help with the development of the benchmarking infrastructure and related features.
Proficiency in English.

Needless

We do not require any knowledge of blockchain, DeFi, smart contracts, or formal software verification.

Práce v oboru: IT

Lokality: Brno