Software Developer for Programming Language Engineering

Seeking new possibilities and always staying curious we are a team dedicated to creating the world’s leading AI-powered cloud-native software solutions for our customers. Our renowned legacy creates endless global opportunities for our IBMers so the door is always open for those who want to grow their career.

We are seeking a skilled Full Stack developer to join our IBM development team. As part of our team you will be responsible for developing and maintaining high-quality software products working with a variety of technologies and programming languages.

Your Role and Responsibilities
The WCA4Z team is looking for developers who show the initiative and thrive at tackling problems. The AI landscape as a whole is rapid paced and comes with ever developing requirements which you as a developer would be required to help design and engineer solutions that innovate within that environment.

Your main duties will include designing and implementing new features optimising and maintaining existing code and ensuring the software meets high-quality standards through testing and debugging. You will also work closely with other developers designers and product managers to ensure the software meets user needs.

You will work on state-of-the-art technology that leverages the IBM Generative AI capability to help our customer modernize their current application by assisting them to analyze Refactor Transform and validate the modified application. IBM watsonx code assistant for Z backend developers are responsible for the transform and translate phase parsing and transforming the input data to the LLM
You will work on state-of-the-art technology that leverages the IBM Generative AI capability to help our customer modernize their current application by assisting them to analyze Refactor Transform and validate the modified application. You will be responsible for developing and maintaining the transfer services on IBM Cloud. This core application supports the entire IBM Watsonx code assistance for Z solutions.

Required Technical and Professional Expertise

• Expert in Java programming
• Basic knowledge of static analysis
• Basic knowledge of COBOL PL/I
• Basic knowledge of interpreter

Preferred Technical and Professional Expertise

• Basic knowledge of Symbolic Execution
• Basic knowledge of SMT Solver and Z3(Z3 Theorem Prover)