Metrics Recruitment is seeking a Core Engineer that will be at the forefront of developing foundational technologies in generative AI, program generation, and verification. This role presents an exciting challenge due to the algorithmic complexity involved in optimizing code, ensuring that optimization applies effectively to real-world code, verifying the equivalence of functions, and making the system compatible with a variety of programming languages. The company have cracked the code on solving all these challenges.

Key Responsibilities:

• Demonstrate a strong "computer scientist" profile, understanding the fundamentals of computer science thoroughly and comfortably engaging in abstract thinking.
• Propose new ideas and implement complex concepts as part of your commitment to advancing the field of code optimization.
• Showcase expertise in machine learning and computer systems, ensuring a holistic understanding of the technological landscape.
• Invent groundbreaking technologies that push the boundaries of what was once thought possible in code optimization.
• Collaborate with a team of entrepreneurial engineers, leveraging your strong foundation in computer science and AI expertise.
• Contribute as an early engineer in a fast-moving, high-growth startup environment. You will have the opportunity to iterate quickly on code and witness the immediate impact on our customers' developers and codebase.