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

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.

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.

Práce v oboru: IT, Telekomunikace

Lokality: Brno