Mitarbeiter eines Dienstleisters
Remote-Arbeit
Verfügbar ab: 10.06.2024
Verfügbar zu: 100%
davon vor Ort: 100%
Skill-Profil eines fest angestellten Mitarbeiters des Dienstleisters
Projekte
- Formale verification von Smart-Contracts
- Compiler bau
- Statische Analyse von smart-contracts
Coq
Isabelle
Haskell
- Implementierung und Weiterentwicklung einer Plattform zur Aggregation von Echtzeit Börsendaten
- Analyse von Kursschwankungen im high frequency trading sowie Kommunikation mit Brokern via FIX
Senior Research Scientist
- Forschung und Entwicklung
- Intellectual Property
- Data Analytics
Python
Haskell
Researcher, Software Engineer
C\C++
Python
Spark (& Scala)
Aus- und Weiterbildung
- Ausbildung - Fachinformatiker für Anwendungsentwicklung
- Bachelor of Science in CS
- Ongoing PhD in York, UK
Zertifikate/ Weiterbildungen- Lean Six Sigma Green Belt
- Scrum Master (PSM 1)
- Computer System Validation (CSV)
- MIT Principles of Biomanufacturing
Kompetenzen
Schwerpunkte
Software Engineering
Data Analytics
Requirement Engineering
Formal Verification
Project Management
Branchen
- (Bio) Pharma
- Data Analytics
- Finance
- Crypto/ Web3
Projekte
- Formale verification von Smart-Contracts
- Compiler bau
- Statische Analyse von smart-contracts
Coq
Isabelle
Haskell
- Implementierung und Weiterentwicklung einer Plattform zur Aggregation von Echtzeit Börsendaten
- Analyse von Kursschwankungen im high frequency trading sowie Kommunikation mit Brokern via FIX
Senior Research Scientist
- Forschung und Entwicklung
- Intellectual Property
- Data Analytics
Python
Haskell
Researcher, Software Engineer
C\C++
Python
Spark (& Scala)
Aus- und Weiterbildung
- Ausbildung - Fachinformatiker für Anwendungsentwicklung
- Bachelor of Science in CS
- Ongoing PhD in York, UK
Zertifikate/ Weiterbildungen- Lean Six Sigma Green Belt
- Scrum Master (PSM 1)
- Computer System Validation (CSV)
- MIT Principles of Biomanufacturing
Kompetenzen
Schwerpunkte
Software Engineering
Data Analytics
Requirement Engineering
Formal Verification
Project Management
Branchen
- (Bio) Pharma
- Data Analytics
- Finance
- Crypto/ Web3
Das Freelancer-Portal
Direktester geht's nicht! Ganz einfach Freelancer finden und direkt Kontakt aufnehmen.