Dipl.-Ing. Sacha Sindorf

The newest developments in technology had my interest since I was a young child. I wanted to be a part of those developments so I studied Electrical Engineering and worked nearly 20 years as a digital ASIC designer. Now, machines are learning and thinking at competitive levels with humans. Sometimes better, sometimes worse - it does not matter: Artificial Intelligence is establishing its place in the world. I also wanted to be part of this development and I followed online courses on Deep Learning and Machine Learning. That still did not satisfy my hunger for learning something new. I have enrolled in the AI Master's program of Maastricht University - currently I am working on my thesis. For my thesis I am using the Coq proof assistant to proof correctness of a formal analysis. Although I am still working on my thesis, I am reaching out to companies that might have a place for me. I am looking for job in an AI development environment.