We are sorry, the company offering the job position has finished posting the job on the site.
Thank you for understanding.
Display similar jobs
Thank you for understanding.
Display similar jobs
Applied Researcher - US company, Full Remote
Práce z domu
Popis pozice
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 an Applied Researcher experienced in at least one of the following areas: model checking, theorem proving, software verification, static analysis, satisfiability modulo theories (SMT) solving, or propositional (SAT) solving.
Your responsibility:
Your responsibility:
- Develop a novel and reliable program verification tool leveraging automated reasoning, static analysis, abstraction, and SMT solving to verify real programs.
- Collaborate with world-class computer scientists and researchers to drive fundamental research in formal methods and software verification.
- Communicate research ideas both internally and externally through lectures, talks, and publications at academic and industrial conferences.
- Gradually educate yourself and get hands-on experience in various areas of software verification to eventually become a true expert in this area.
Profil kandidáta
Required:
Preferred:
Needless:
- Master’s degree (can be ongoing) in Computer Science or Mathematics with (at least a partial) focus on formal methods or software verification or SAT/SMT solving.
- Ability to clearly articulate problems and solutions.
- Ability to quickly develop and validate research assumptions.
- Ability to work in teams, communicate ideas with confidence, and enthusiasm.
- Experience with code review and distributed version control.
Preferred:
- Experience in compilers, functional programming, static analysis, automated reasoning, and interactive theorem proving is a plus.
- Publication(s) at decent (or even top) academic conferences in the areas of programming analysis, verification, SAT and SMT solving, or formal methods.
- Membership in a university laboratory with a focus on theoretical computer science, formal verification, or a related field.
- Experience in teaching university courses such as algorithmics, logic, automata theory, or mathematics.
- Kotlin or Java experience
Needless:
- We do not require any knowledge of blockchain, DeFi, or smart contracts.
Nabízíme
Our perks:
- Small, agile, and friendly team.
- Opportunity to work on cutting-edge and challenging problems.
- Unlimited vacation.
- Flexible working hours.
- Work from home, personal office, coworking space, or team office (based on candidate’s preferences and location).
- Possibility to travel either to US or Israel to visit other Certora team members, and to attend cryptocurrency and formal verification conferences all around the world.
Kontakt
ManpowerGroup s.r.o.
Michaela Křepelová
+420720043742
Michaela Křepelová
+420720043742
Hledáte práci v IT, engineeringu a managementu?
ID: 4331770
Posting date: 17.5.2022
2022-05-17
location: Práce z domu Position: IT analytik Company: ManpowerGroup s.r.o.
The job comes from another website or source.