Senior Category Theory Scientist - Aus - Categorical Deep Learning

At Symbolica, we are building deep learning models which performstructured reasoning: manipulate structured data, learn algebraic structure in it, and do so with an interpretable and verifiable logic. To that end, we are developing new mathematical foundations for deep learning:categorical deep learning. We are now assembling a R&D lab of expert category theory and machine learning researchers to develop this theory and apply it to the problems of code synthesis and theorem proving. We are committed to fundamental ideas, but also their execution in practice. As a senior category theory scientist, you will help us expand, reimagine, and carry out our research & development program. You will lead teams on a project developing categorical deep learning and implementing it in models. This is an opportunity to be part of a transformative project and make significant contributions to the field of applied category theory, and artificial intelligence.
Responsibilities:
Help develop and own a research projectTranslate business needs into well-scoped research and engineering sub-projects with clear deliverables and timelinesWork simultaneously at different levels of abstraction - from high-level categorical constructions to low-level details of architecture implementation in codePreferred qualifications:
PhD in Mathematics, Computer Science or similar discipline.2+ years of industrial or academic work experience post PhDIndustrial or academic experience leading a research/technical team, and implementing novel machine learning architecturesIn-depth understanding of category theory or type theory, and a strong interest in machine learningExceptional communication and interpersonal skillsLocation:
Melbourne (preferred) or AUS remoteWe offer competitive compensation, including equity and health insurance. Salary and equity levels are commensurate with experience and location.

#J-18808-Ljbffr