#Job - C++ logic algorithms programmer (remote)

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

Company: IDNI http://www.idni.org/

Project: Tau is a network intended to solve the bottlenecks inherent in large scale human communication and accelerate productivity in human collaboration using logic based Artificial Intelligence.

Full time position: We are developing a new domain specific language called TML and many related products revolving around it. We are looking for an experienced logic developer to join our development team.

Job requirements:
a) 8 to 10 years of experience in C++
b) Experience with modern C++ (C++11 and above)
c) Ability to write highly optimized code.
d) Experience with internals of interpreters or compilers.
e) Strong analytical and problem-solving skills
f) Experience with logic algorithms & databases

Extra bonus points:
a) Knowledge of Prolog/Datalog interpreters implementation
b) Knowledge of binary decision diagrams
c) Knowledge of horn clauses
d) Understand the difference between first order and second order logic.

Email *

Name *

Your Skype I.D

So we can add you to talk further. If you don't have Skype just add some form of communication that we can reach out to you on.

An overview covering why you fit the requirements

Let us know if you meet any of the bonus points too

(Optional) add further information about you

e.g. links to published work, projects you've developed and patents etc. Whatever you feel is important.

Submit

Clear form

Never submit passwords through Google Forms.

This form was created inside of Intelligent Decentralized Networks Initiatives (IDNI). Report Abuse

Forms