SW Engineer - US Company, Hightech verification SW, Computer science Absolvents

Hledaná pozice

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

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

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 SW Development 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. Job description: –Help with integration of state-of-the-art software analysis and constraint processing tools into our framework for verification of smart contracts. –Design and implement efficient algorithms and data structures. –This is a dev position and hence the output of your effort is a code. However, instead of mostly writing the code, most of your time should be spent on analyzing the given problem and thinking about how to write the code properly. –Gradually educate yourself and get hands-on experience in using various software analysis and constraint solving tools. –Collaborate with world-class researchers and software developers both within and outside of. –If desired, communicate with our customers and help them with using our tool. –There are many different projects you might work on, using different technologies and ranging from very short to long-term projects. The choice of the particular projects will partly depend on your preferences (we do not want you to work on stuff you find boring) and partly on current company needs.

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 blockchain and formal verification-related 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-3 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
Required –Master’s degree (can be ongoing) in Computer Science. –Proficiency in algorithm design and data structures (could be witnessed by excellent grades in relevant university courses). –Ability to work in teams and communicate ideas with confidence and enthusiasm. –At least 2 years of experience in developing medium/large codebases (object-oriented). –Proficiency in English. We are an international company with employees in Europe, Israel, and US, and we work together. Appreciated –Interest in fields like compilers, functional programming, theorem proving, constraint solving (propositional logic, SAT), graph theory, or discrete mathematic. –Membership in a university laboratory. –Experience in teaching university courses such as algorithmics, logic, automata theory, programming, or mathematics. –Kotlin or Java experience. Needless –We do not require any knowledge of blockchain, DeFi, or smart contracts.

Inzerující společnost

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

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

Kontakt
David Veverka

Další nabídky práce

Práce v oboru: IT, Telekomunikace

Lokality: Brno

Zdroj nabídky: Easy-prace.cz

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

Schodek 330 miliard? Děs! A výhledy horší než za Babiše

Schodek 330 miliard? Děs! A výhledy horší než za Babiše

Ministerstvo financí nově plánuje schodek rozpočtu pro letošní rok ve výši 330 miliard...více

Najít koš na prádlo není superschopnost vyhrazená matkám. Ženy, které se obětují pro rodinu,...

Najít koš na prádlo není superschopnost vyhrazená matkám. Ženy, které se obětují pro rodinu, ubližují svým dětem

Všichni je známe. Buď byla taková naše vlastní matka, tchyně nebo máme podobnou kamarádku....více

S dítětem se vrhla do řeky, plavat neuměla. Ve válce ženy dělají obdivuhodnější činy než muži,...

S dítětem se vrhla do řeky, plavat neuměla. Ve válce ženy dělají obdivuhodnější činy než muži, říká Procházková

Novinářka Petra Procházková mává rukou nad tím, že by ji měl někdo považovat za hrdinku....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