Formal Methods Software Engineer

Are you passionate about the intersection of formal methods, verification, and cutting-edge technology? MLabs Ltd is on the lookout for a talented and dedicated Formal Methods Engineer to join our dynamic team. In this role, you will play a key part in our mission to advance the field of formal verification and apply it to real-world projects, including those involving Lustre and Isabelle. If you're excited about pushing the boundaries of what's possible in software verification and have experience with Kind2, we want to hear from you!

Key Responsibilities:

• Utilize formal methods and verification techniques, including Kind2, to ensure the correctness and reliability of complex software systems.
• Work on projects involving Lustre and Isabelle formal languages, contributing your expertise to achieve project goals.
• Collaborate closely with our research and development teams to design, implement, and maintain formal verification solutions.
• Contribute to substrate projects with a focus on formal verification, ensuring the highest levels of software quality.
• Stay up-to-date with the latest advancements in formal methods, including Kind2, and apply them to enhance our development processes.

Requirements

• Proven experience in formal methods and verification, with a strong background in Lustre, Isabelle, and Kind2.
• Solid understanding of formal verification techniques and their application in software development.
• Ability to work independently and as part of a collaborative team, communicating complex concepts effectively.
• A strong passion for problem-solving and a dedication to delivering high-quality, error-free software.
• Enthusiasm for exploring new substrate projects with formal verification components.

Benefits

• Type: Full-time position
• Start Date: Mid-October preferred, but flexibility for the right candidate.
• Location: Remote
• Salary: Competitive and commensurate with experience.

At MLabs Ltd, we're committed to fostering an inclusive and diverse workplace that values innovation and creativity. We encourage candidates from all backgrounds and experiences to apply.

If you're ready to take on the challenge of advancing formal methods and verification, including Kind2, in a dynamic and supportive environment, we'd love to hear from you. Please submit your application, including your resume and a cover letter outlining your qualifications and interest in this role.

Join us in shaping the future of formal verification, including Kind2, and making a meaningful impact on our exciting projects!

Tags