Software Engineer - focus on intersection between:

1. High level abstractions, code generation, software factories, MDA,
2. Algorithms, artificial intelligence, numerical methods, formal methods