Master’s Degree (Formal methods and Software Verification)
2013 - 2014
Ecole nationale supérieure d'Electronique, Informatique et de Radiocommunications de Bordeaux
Engineer’s Degree (Computer Science)
2012 - 2014
Chalmers University of Technology
Bachelor’s Degree (Computer Software Engineering)
2006 - 2009
Arvid Jakobsson's Skills
OCaml
Research
Coq
C
Writing
Programming
Mathematics
Formal Methods
Haskell
Web Development
Arvid Jakobsson's Summary
Arvid Jakobsson, based in Gothenburg, SE, is currently a Researcher and Engineer at Nomadic Labs, bringing experience from previous roles at Huawei Technologies, Bloom Digital AB, Systerel and CEA - Commissariat à l'énergie atomique et aux énergies alternatives. Arvid Jakobsson holds a 2016 - 2019 Doctorate Degree in Computer Science @ Université d'Orléans. With a robust skill set that includes OCaml, Research, Coq, C, Writing and more, Arvid Jakobsson contributes valuable insights to the industry. Arvid Jakobsson has 1 email on RocketReach.