Matko Botincan
Werdegang
Berufserfahrung von Matko Botincan
- Bis heute 11 Jahre und 8 Monate, seit Okt. 2013
Quantitative Research
Radix Trading
- 2011 - 2012
Co-founder
Synups
Co-founder and software architect of a 4-person startup that developed a social network for matching Cambridge students with consulting/startup projects based on skills. Responsible for the backend architecture and the recommendation engine. [Ruby on Rails, Redis, PostgreSQL, Lucene].
- 4 Monate, Sep. 2011 - Dez. 2011
Visiting Research Scholar
University of California at Berkeley
Developed a novel method for web security that enables learning symbolic models of software behavior. Developed an implementation of the method on top of a symbolic virtual machine for LLVM. The tool has successfully inferred web sanitizers for preventing XSS attacks in the Google AutoEscape framework.
- 2010 - 2011
Vice-President
Cambridge University Entrepreneurs
- 2007 - 2011
Software Architect
Bumblehood
Chief architect of a 15-person startup that developed a customer loyalty platform for small and medium enterprises. Responsible for the overall product architecture. Developed core parts of the backend, the semantic search engine, security protocols, and the Android mobile app. Engineered a card security solution. [Java, C/C++]
- 4 Monate, Apr. 2010 - Juli 2010
Research Intern
Microsoft Research Cambridge
Developed a novel method for static analysis of JavaScript [F#, OCaml].
- 9 Monate, Sep. 2008 - Mai 2009
Consultant
Microsoft
Developed a tool for automated modular verification of C programs with a separation logic prover and an SMT solver.
- 4 Monate, Apr. 2008 - Juli 2008
Research intern
Microsoft
Developed components of a tool for automatic verification of C programs that has been used for checking correctness of kernel for virtualization in Windows Server 2008.
- 5 Jahre und 3 Monate, Jan. 2003 - März 2008
Research/teaching assistant
University of Zagreb
Worked on topics in combinatorial optimization and numerical mathematics and developed: - engine for planning and analysis of vessel routes based on geometric optimization and linear programming [Java] - distributed branch-and-cut solver for vehicle routing problems [C++, MPI] - generic C++ library for solving algebraic path problems [C++, Boost] - finite elements solver for partial differential equations in hemodynamics [C++, Matlab] - models and numerical simulations of rod vibration [Mathematica]
Ausbildung von Matko Botincan
- 4 Jahre, Okt. 2009 - Sep. 2013
Computer Science
University of Cambridge
Researched ways for synthesising optimised software systems by using rigorous mathematical, formal analysis and verification techniques. Developed novel approaches to automated parallelisation by using separation logic, symbolic model checking and computational learning.
- 1 Monat, Juni 2005 - Juni 2005
Mathematics / Computer Science
University of Zagreb
Sprachen
Englisch
Fließend
Deutsch
Gut
Croatian
-
XING Mitglieder mit ähnlichen Profilangaben
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.