-
- Teljes munkaidő • Kötött munkarend • Alkalmazotti jogviszony
-
Pályakezdő/friss diplomás • Angol középfok
-
C • PYTHON • DEBUGGING
Főbb feladatok- Use formal verification algorithms to formally prove the correctness of complicated logic problems
- Identify key behaviors for verification to write clear testplans for complex designs
- Implement testplans using innovative formal techniques
- Drive tools to realize their best performance
feladva: Július 28. -
Mathematical Optimization Engineer
- Lufthansa Systems Hungária Kft. 4,2
- Hibrid • Budapest
-
Egészségpénztár • Cafeteria • Egészségbiztosítás
- Teljes munkaidő • Kötetlen munkarend • Alkalmazotti jogviszony
-
Linux
-
3-5 év tapasztalat • Angol középfok
Főbb feladatok- Further development of existing optimization components of the airline management system Netline/Crew or Netline Scheduling area
- Implementation and experimentation on new and efficient optimization approaches
- Recording customer requirements for the commissioning of existing optimization components
feladva: Augusztus 08.
Mentsd el szűrési feltételeidet későbbre!
-
Sol
-
Developer
-
Mérnök
-
Budapest
-
II. kerület
-
+5 km