Sort by
Refine Your Search
-
Listed
-
Field
-
optimization algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). We offer a fully-funded postdoc position, initially for 12
-
satellite-derived metrics. Apply downscaling methods to RCM outputs and assess model uncertainty across different climate simulations. Publish results in high-impact journals and contribute to open-source
Enter an email to receive alerts for algorithm-sensor-"DIFFER" positions