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

Hledaná pozice

Místo práce: Brno (informace o místu práce: Brno)

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.

Požadavky na zaměstnance

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.

Inzerující společnost

MANPOWER, s.r.o., IČO: 41194659

Praha 2, Karlovo nám. 10/2097, PSČ 120 00

Další nabídky práce

Práce v oboru: IT

Lokality: Brno

Zdroj nabídky: Dobrá práce

Výpočet čisté mzdy 2022

Rozšířená verze kalkulačky

Další kalkulačky

Doporučujeme

Proč jsme doteď ksakru spali? Tahle malá součástka mění celý svět

Proč jsme doteď ksakru spali? Tahle malá součástka mění celý svět

Ta částka je až absurdní: 289 miliard dolarů, bezmála sedm bilionů Kč, na čipy. Spojené...více

Miliardy lítají, ale vlaky stojí. Česká železnice přestává dávat smysl

Miliardy lítají, ale vlaky stojí. Česká železnice přestává dávat smysl

Bublalo to několik posledních let, teď už je situace zoufalá. Cestování vlakem po hlavních...více

„Kvůli tetování mi nevěří, že jsem lékařka.“ Díky obrázkům na těle mám k lidem blíž, říká psychiatrička

„Kvůli tetování mi nevěří, že jsem lékařka.“ Díky obrázkům na těle mám k lidem blíž, říká psychiatrička

Tetování už je součástí naší kultury. Potetovaná lékařka ale stále u některých lidí vzbuzuje...více

Oblíbená destinace Čechů se změnila v místo dramatu. Na šovinismus se těžko ukazuje prstem,...

Oblíbená destinace Čechů se změnila v místo dramatu. Na šovinismus se těžko ukazuje prstem, říká režisérka

Pár dní před porodem svého prvního dítěte přijela Antoneta Alamat Kusijanović autem z...více

Poradna - pracovní právo

Poslední dotaz: Služební cesta
Poradna > Právní poradnaPracovní právo

Otázka: Dobrý den, může v době zákazu volného pohybu vyslat zaměstnavatel zaměstnance na služební cestu přes celou republiku? Ve vyhlášení vlády se tohle nijak neřeší - dle mého to ani nutná cesta o zaměstnání,... více

Pracovní právo

Interaktivní grafiky

Spočítejte si osobní inflaci

Spočítejte si osobní inflaci

Inflace se měří indexem cen průměrného koše výrobků a služeb. Jenže každý kupuje něco jiného, proto na každého inflace působí jinak.

Jak se vyvíjejí v Česku mzdy a nezaměstnanost

Jak se vyvíjejí v Česku mzdy a nezaměstnanost

Unikátní mapa, na které můžete sledovat vývoj nezaměstnanosti a průměrných platů v jednotlivých českých krajích od roku 2006.

Nejnovější články

Velký bratr dohlédne i na knihu jízd. Policie smí dávat data

Velký bratr dohlédne i na knihu jízd. Policie smí dávat data

Údaje ze statických policejních kamer podél silnic se uchovávají až pět let. A neslouží...více

Vláda chce zvýšit limit pro podání daňového přiznání

Vláda chce zvýšit limit pro podání daňového přiznání

Lidé, kteří mají roční příjmy do 25 tisíc korun, by od příštího roku nemuseli podávat...více

Nová regulace Airbnb. Jde ubytovacím službám po krku, nebo na ruku?

Nová regulace Airbnb. Jde ubytovacím službám po krku, nebo na ruku?

Česko i hlavní město se už několik let snaží krátkodobé pronajímání zregulovat. Neúspěšně....více

Partners Financial Services