3 proof-checking-postdoc-computerscience PhD positions at University of Luxembourg in Luxembourg

PhD in AI-Assisted Probability and Mathematical Discovery

University of Luxembourg | Luxembourg | 5 days ago

, from idea generation to certified results Integrating formal tools, such as proof assistants, into the scientific production workflow Developing a complete and reproducible protocol for mathematical

Doctoral researcher in Electric Mobility and Energy Optimization

University of Luxembourg | Luxembourg | about 1 month ago

as part of the CET (Comité d’Encadrement de Thèse) and will be daily supervised by the Postdoc employed in the project by UL. The PhD candidate will join the Mobilab Transport Research Group, a dynamic

PhD Candidate in Optical Satellite Communications

University of Luxembourg | Luxembourg | 3 months ago

proof-of-concept software tools Machine learning is a plus Strong analytical and programming skills are required (Python, Matlab, and C/C++). Prior proven experience in data-driven innovation projects is