ML
Aktualisiert am 14.10.2024
Profil
Freiberufler / Selbstständiger
Remote-Arbeit
Verfügbar ab: 03.02.2025
Verfügbar zu: 100%
davon vor Ort: 100%
Machine Learning
Formal Verification
Data Scientist
C
MATLAB
C++
Coq
Python
R
German
full professional proficiency
English
professional working proficiency
Russian:
Muttersprache

Einsatzorte

Einsatzorte

Chemnitz (+200km) Leipzig (+200km)
Deutschland, Schweiz, Österreich
möglich

Projekte

Projekte

1 year 1 month
2023-11 - now

SenCEA

  • Supervision, modelling and optimal control of the closed environmental agricultural facility
1 year
2023-01 - 2023-12

ResKIPP

  • Resilient and AI-based plant production monitoring
on request
7 years
2017-01 - 2023-12

BigApple

  • Prediction of the harvest date, fruit firmness and storage disorders of the apples using multivariate time series classification.
  • Publication: on request

3 years 3 months
2020-03 - 2023-05

Apfel4Null

  • Application of high-dimensional multivariate time series classification/regression to quality prediction (fruit firmness, browning, sugar content) of apples.
  • Submitted publication: on request

Aus- und Weiterbildung

Aus- und Weiterbildung

2 years 4 months
2014-09 - 2016-12

Applied Mathematics

M. Sc., grade: 1.4, Hochschule Mittweida
M. Sc., grade: 1.4
Hochschule Mittweida
Master thesis: on request
4 years
2010-09 - 2014-08

Applied Mathematics

B. Sc., grade: 2.7, Hochschule Mittweida
B. Sc., grade: 2.7
Hochschule Mittweida
Bachelor thesis: on request

Kompetenzen

Kompetenzen

Top-Skills

Machine Learning Formal Verification Data Scientist C MATLAB C++ Coq Python R

Produkte / Standards / Erfahrungen / Methoden

Technologies

Proof Assistants:

  • Minlog
  • Coq


SMT:

  • Z3
  • dReal


Mathematics:

  • Matlab
  • Simulink
  • Octave
  • Sage
  • Wolfram Mathematica


Statistics & ML:

  • R
  • Ox
  • Tensorflow


Visualization:

  • Inkscape


Office & Writing:

  • Microsoft Office
  • Visual Studio Tools for Office (VSTO)
  • Latex
  • Org Mode


Web & DevOps:

  • HTML5
  • Django
  • PHP
  • Docker


Work Experience

01/2017 - today

Place of Work: Chemnitz

Role: Research Assistant

Customer: Technische Universität Chemnitz


Tasks:

  • PhD Thesis: on request


06/2016 - 12/2016

Place of Work: Chemnitz

Role: Student Assistant 

Customer: Technische Universität Chemnitz


07/2014 - 12/2016

Place of Work: Chemnitz

Role: Self-employed, IT-freelancer 


09/2010 - 04/2016

Place of Work: Mittweida

Role: Tutor

Customer: Schüler-Center


03/2013 - 07/2013

Place of Work: Mittweida

Role: Student Assistant

Customer: Hochschule Mittweida

Programmiersprachen

Python
Scheme
C#
C
C++
JavaScript
NodeJs
Java
VB.Net
Haskell

Einsatzorte

Einsatzorte

Chemnitz (+200km) Leipzig (+200km)
Deutschland, Schweiz, Österreich
möglich

Projekte

Projekte

1 year 1 month
2023-11 - now

SenCEA

  • Supervision, modelling and optimal control of the closed environmental agricultural facility
1 year
2023-01 - 2023-12

ResKIPP

  • Resilient and AI-based plant production monitoring
on request
7 years
2017-01 - 2023-12

BigApple

  • Prediction of the harvest date, fruit firmness and storage disorders of the apples using multivariate time series classification.
  • Publication: on request

3 years 3 months
2020-03 - 2023-05

Apfel4Null

  • Application of high-dimensional multivariate time series classification/regression to quality prediction (fruit firmness, browning, sugar content) of apples.
  • Submitted publication: on request

Aus- und Weiterbildung

Aus- und Weiterbildung

2 years 4 months
2014-09 - 2016-12

Applied Mathematics

M. Sc., grade: 1.4, Hochschule Mittweida
M. Sc., grade: 1.4
Hochschule Mittweida
Master thesis: on request
4 years
2010-09 - 2014-08

Applied Mathematics

B. Sc., grade: 2.7, Hochschule Mittweida
B. Sc., grade: 2.7
Hochschule Mittweida
Bachelor thesis: on request

Kompetenzen

Kompetenzen

Top-Skills

Machine Learning Formal Verification Data Scientist C MATLAB C++ Coq Python R

Produkte / Standards / Erfahrungen / Methoden

Technologies

Proof Assistants:

  • Minlog
  • Coq


SMT:

  • Z3
  • dReal


Mathematics:

  • Matlab
  • Simulink
  • Octave
  • Sage
  • Wolfram Mathematica


Statistics & ML:

  • R
  • Ox
  • Tensorflow


Visualization:

  • Inkscape


Office & Writing:

  • Microsoft Office
  • Visual Studio Tools for Office (VSTO)
  • Latex
  • Org Mode


Web & DevOps:

  • HTML5
  • Django
  • PHP
  • Docker


Work Experience

01/2017 - today

Place of Work: Chemnitz

Role: Research Assistant

Customer: Technische Universität Chemnitz


Tasks:

  • PhD Thesis: on request


06/2016 - 12/2016

Place of Work: Chemnitz

Role: Student Assistant 

Customer: Technische Universität Chemnitz


07/2014 - 12/2016

Place of Work: Chemnitz

Role: Self-employed, IT-freelancer 


09/2010 - 04/2016

Place of Work: Mittweida

Role: Tutor

Customer: Schüler-Center


03/2013 - 07/2013

Place of Work: Mittweida

Role: Student Assistant

Customer: Hochschule Mittweida

Programmiersprachen

Python
Scheme
C#
C
C++
JavaScript
NodeJs
Java
VB.Net
Haskell

Vertrauen Sie auf Randstad

Im Bereich Freelancing
Im Bereich Arbeitnehmerüberlassung / Personalvermittlung

Fragen?

Rufen Sie uns an +49 89 500316-300 oder schreiben Sie uns:

Das Freelancer-Portal

Direktester geht's nicht! Ganz einfach Freelancer finden und direkt Kontakt aufnehmen.