C software developer állás, munka

Design, prototype, and refine LLM based features over large document sets Orchestrate multi step, agentic workflows and tool calling (including MCP servers and other integrations) so LLMs can take meaningful actions, not just generate text Define evaluation frameworks, experiments, and metrics to...

Use formal verification algorithms to formally prove the correctness of complicated logic problems Identify key behaviors for verification to write clear testplans for complex designs Implement testplans using innovative formal techniques Drive tools to realize their best performance Develop flow...

Munkakörhöz tartozó feladatok ellátása....

Developing a highly optimized inference framework Running on the world’s largest supercomputers and data centers Working on innovative, next-generation products at the forefront of technology in terms of performance, scalability, and features...