Výzkumný pracovník pro oblast rozvrhování a optimalizace

Hledáme kolegu do aplikovaného výzkumu pro výzkumné a komerční projekty (např. pro letecký průmysl).

Co u nás bude výzkumný pracovník dělat?

  • Využije znalost optimalizačních a programovacích technik: constraint programming, SAT (Boolean satisfiability problem), lineární programování.
  • Rozvíjet a navrhovat rozvrhovací a optimalizační algoritmy a analyzovat výstupy algoritmů (vývoj metrik popisujících rozvrhy).
  • Používáme: Java 8, Python, CP-SAT/OR-Tools, Gurobi, Choco Solver apod.
  • Očekáváme samostatnost a zapálení při řešení úloh, případně schopnost definovat si zadání sám.
  • Komunikujeme se zákazníkem v anglickém jazyce.