Senior Machine Learning Scientist - AUS - Categorical Deep Learning
at Symbolica AI
Melbourne, Victoria, Australia -
Start Date | Expiry Date | Salary | Posted On | Experience | Skills | Telecommute | Sponsor Visa |
---|---|---|---|---|---|---|---|
Immediate | 05 Aug, 2024 | USD 165000 Annual | 06 May, 2024 | 2 year(s) or above | Interpersonal Skills,Scala,Research,Type Theory,Computer Science,Programming Languages,Journals,Mathematics,Category Theory | No | No |
Required Visa Status:
Citizen | GC |
US Citizen | Student Visa |
H1B | CPT |
OPT | H4 Spouse of H1B |
GC Green Card |
Employment Type:
Full Time | Part Time |
Permanent | Independent - 1099 |
Contract – W2 | C2H Independent |
C2H W2 | Contract – Corp 2 Corp |
Contract to Hire – Corp 2 Corp |
Description:
DESCRIPTION
At Symbolica, we are building deep learning models which perform structured 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 machine learning scientist, you will help us expand, refine, and carry out our research & development program. You will lead teams on projects developing categorical deep learning and implementing it in models. This is a rare opportunity to work on an innovative and transformative project, and make significant contributions to the field of artificial intelligence and applied category theory.
Responsibilities:
- Lead the development and ownership of pioneering research projects in categorical deep learning, from conceptualisation to execution
- Work closely with category theorists and machine learning researchers, bridging the gap between state of the art research on deep learning architectures and their structural formulation in category theory
- Stay at the forefront of experimental advances in deep learning, and ensure our theoretical models are grounded and coherent with respect to these advances
- Prototype and validate theoretical models in code, demonstrating practical feasibility
- Work simultaneously at different levels of abstraction - from understanding high-level categorical constructions to implementing low-level details of architecture in code
Preferred qualifications:
- PhD in Computer Science, Mathematics, or similar discipline.
- 2+ years of industrial or academic work experience post PhD
- Proven track record of research published in top-tier conferences (e.g. NeurIPS, ICML, ICLR, AAAI, COLT), and journals
- Experience with functional programming languages (e.g. Haskell, Idris, Scala)
- Deep expertise in neural network architectures and a strong interest in category theory or type theory
- Industrial or academic experience leading a research/technical team, and implementing novel machine learning architectures.
- Exceptional communication and interpersonal skills.
Location:
- Melbourne (preferred) or AUS remote
We offer competitive compensation, including equity and health insurance. Salary and equity levels are commensurate with experience and location.
Responsibilities:
- Lead the development and ownership of pioneering research projects in categorical deep learning, from conceptualisation to execution
- Work closely with category theorists and machine learning researchers, bridging the gap between state of the art research on deep learning architectures and their structural formulation in category theory
- Stay at the forefront of experimental advances in deep learning, and ensure our theoretical models are grounded and coherent with respect to these advances
- Prototype and validate theoretical models in code, demonstrating practical feasibility
- Work simultaneously at different levels of abstraction - from understanding high-level categorical constructions to implementing low-level details of architecture in cod
REQUIREMENT SUMMARY
Min:2.0Max:7.0 year(s)
Information Technology/IT
IT Software - Other
Software Engineering
Phd
Proficient
1
Melbourne VIC, Australia