Sort by
Refine Your Search
-
: • Holder of a Master’s degree in Computer Science, Big Data, Mathematics or related fields*; • Enrolment in a non-degree awarding course*; • Experience with Large Language Models applied to the space domain
-
; the generalisation capability across different orbital regimes (stable trajectories and deorbiting trajectories); comparison with reference models with and without the incorporation of physical knowledge. Expected
Searches related to model checking
Enter an email to receive alerts for model-checking positions