Dr. Pascal Kesseli
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Pascal Kesseli
- 6 Jahre und 6 Monate, Juli 2016 - Dez. 2022
Team Lead, Senior Researcher
Diffblue
Leitung des Software Synthesis Teams, Forschung und Entwicklung im Bereich SAT/SMT-Solver, Heuristiken, formale Verifikation und Programmsynthese.
Entwicklung von Customized Software und Plug-Ins zur Prozessoptimierung, Erstellen von JSF/PrimeFaces-basierten Webapplikationen für externe Kunden, Domänen-Administration in interner W2k8r2-Umgebung
- 1 Jahr und 4 Monate, März 2011 - Juni 2012
Leiter Software-Entwicklung
BEO IT AG
Vorgesetzter von 2 Software-Entwicklern, Verantwortlich für Wartbarkeit und Schnittstellen-Umfang gegenüber Partner-Firmen, Zusammenführung unterschiedlicher Technologien zu einer Hybrid-Applikation (Java Enterprise Edition über gSOAP zu Embedded C++), Entwicklung von Smart Metering Optimierungs-Algorithmen für Energiespar-Schaltungen
- 1 Jahr und 6 Monate, Okt. 2009 - März 2011
Softwareingenieur
BEO IT AG
Entwicklung vollständiger Smart Metering Umgebung mithilfe von Embedded-Komponenten. Finale Version bestehend aus C++ Auslese- und Speichersystem, Java-Visualisierung und SOAP-Schnittstelle zur Kommunikation zwischen den Komponenten. Eingesetzte Technologien: C++ mit Boost und gSOAP, JEE mit Spring IOC und AOP
- 6 Monate, Sep. 2010 - Feb. 2011
Student/Praktikant
Hochschule für Technik Rapperswil
Entwicklung von Tree-Pattern Matching Algorithmen zur Analyse von C++ Schleifen und deren Äquivalenz zu STL Algorithmen. Transformation von äquivalenten Loops zu STL Funktionsaufrufen. Automatische Transformation von Loop-Bodies zu Lambda-Funktoren sowie STL- und TR1-Funktoren unter Verwendung von Argument Binding. Implementierung als Eclipse CDT Plug-In.
- 8 Monate, März 2009 - Okt. 2009
Student/Praktikant
Hochschule für Technik Rapperswil
Erweiterung des Netzwerksimulators ns-3 um VoIP-Protokolle für aufkommende 3GPP-Simulationen. Implementierung VoIP-Protokolle (vorw. RTP) in C++
- 3 Jahre und 1 Monat, Okt. 2006 - Okt. 2009
Softwareentwickler
Elektrizitätswerk Buchs
Ausarbeitung einer umfassenden Zähler-Fernauslesung für das Elektrizitätswerk unter Einsatz von Embedded Computing-Komponenten. Entwicklung in C++, Visualisierung über PHP Behandlete ZFA-Protokolle: IEC-62056-21, M-Bus
- 6 Monate, Okt. 2008 - März 2009
Praktikant mit Projektverantwortung
Stöcklin
Entwicklung eines Erfassungs und Analyse-System für automatisiert Lager. Einsatz einer JEE Hibernate-basierten Datenbank zur Evaluierung und Darstellung von Grosslagern.
Ausbildung von Pascal Kesseli
- 3 Jahre und 9 Monate, Okt. 2013 - Juni 2017
Computer Science
University of Oxford
Software Verification
- 1 Jahr und 6 Monate, Okt. 2009 - März 2011
Informations- und Kommunikationstechnologien
Hochschule für Technik Rapperswil
Softwareentwicklung Mobilkommunikation
- 3 Jahre und 1 Monat, Okt. 2006 - Okt. 2009
Informatik
Hochschule für Technik Rapperswil
Softwareentwicklung Mobilkommunikation
Sprachen
Deutsch
Muttersprache
Französisch
Gut
Englisch
Fließend
Chinesisch
Grundlagen
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.