|
|
|
|
Reasoning Technology is a software research and development organization dedicated to innovation and invention based on sound logic and effective engineering methods. We are now building a new kind of software development language that implements a pure calculus of abstract types, guarantees valid results from valid but incomplete information, can be used by domain experts without programmer intervention, and extends effective practical applications of automated systems within the physical and social sciences. We are looking for full time and limited term employees who enjoy working on interesting and challenging projects with potential to change the world of automated systems. |
|
Have questions or comments? Contact us at: |