Candidates must have demonstrated expertise in Lean4 and a strong quantitative background in mathematics, computer science, or a related field. Contributions to Lean mathematical libraries or projects are preferred, along with proficiency in TeX.
Candidates must possess a BS or MS in Computer Science, Mathematics, or a related technical field, or equivalent industry experience. Strong programming skills in Python and experience in software development and testing are required. Familiarity with deep learning frameworks such as PyTorch and a solid understanding of mathematical concepts, including algebra, geometry, and analysis, are essential. Preferred qualifications include a PhD in a relevant field and experience applying AI to practica…
Candidates must possess a BS in Computer Science, Mathematics, or a related technical field, or equivalent industry experience. A demonstrated track record in developing novel and impactful reinforcement learning systems is required, along with strong programming skills in Python and experience in deep learning frameworks such as PyTorch. A solid understanding of mathematical concepts, including algebra, geometry, and analysis, is also necessary. Preferred qualifications include an MS or PhD in …
Candidates must hold a BS in Computer Science, Engineering, or a related field. Proficiency in one or more programming languages such as Python or C++ is required, along with experience in scaling and maintaining large-scale distributed systems. Familiarity with AI concepts and a strong interest in AI technologies are essential. A solid understanding of algorithms, data structures, and system design is necessary, as well as the ability to thrive in a fast-paced, collaborative environment. Prefer…
Candidates should possess a Bachelor's degree in Design, Human-Computer Interaction, or a related field, and have at least 5 years of experience in product design, with a focus on user-centered design and digital product development. Strong experience with design tools such as Figma, Sketch, and Adobe Creative Suite is required, along with a portfolio demonstrating a strong understanding of user research, information architecture, and interaction design.
Candidates should be interested in solving startups and resonate with Harmonic’s values, and they should be interested in working in a high-growth environment with talented individuals.