Remote Formal Verification Engineer Jobs in Dallas, TX

LOCATION: Remote

REPORTS TO: Lead Software Engineer

KEY RELATIONSHIPS AND TEAM: 

The Senior Software Engineer reports to the Lead Engineer and sits within the Dev Team, working closely alongside the product team on day-to-day delivery. The role partners with the Architect on technical design and architecture decisions, translating agreed designs into implementation guidance for the rest of the team, and collaborates with the UX Designer during design handoff to flag feasibility, accessibility, and design-system considerations early. During production incidents, this person engages directly with the Helpdesk, QA, and Ops, and interfaces with external entities such as Lenders and Integrators when issues touch their systems. On the release side, the role coordinates with the SRE team and escalates offshore code-migration issues to the Lead Engineer rather than managing that coordination independently. As a senior member of the team, this person is coached by the Lead Engineer, the Architect, the UX Designer, and other engineers, and in turn mentors junior and mid-level engineers through pull request review and coaching them on when to trust, and when to override, AI-generated code.

THE OPPORTUNITY: 

The Senior Software Engineer will take ownership of feature delivery from technical approach through production, working with a high degree of autonomy on requirements. This is a hands-on engineering role that spans the full lifecycle: designing and building end-to-end features, writing unit tests and validating non-functional requirements (performance, security, reliability) before handoff to QA, and serving as the senior escalation point for production issues, performing root cause analysis and communicating findings clearly to both Ops and non-technical stakeholders during live incidents. The role also carries release responsibility, executing deployments against the scope and branch plan the Lead Engineer sets and monitoring for early signs of regression across environments. Beyond day-to-day delivery, this person will research and prototype emerging tools and practices including AI-assisted development frameworks such as GitHub Copilot and Claude Code, documenting findings as decision guides so the team can adopt or reject new approaches based on evidence rather than hype. Critical, disciplined use of AI coding tools runs throughout the role: as an accelerant for implementation, never as a substitute for engineering judgment, and this same judgment is something the Senior Software Engineer is expected to instill in others through code review and mentorship.. The role is remote-based with approximately 5% travel required.

Specifically, the Senior Software Engineer will have responsibility to:

• Feature Development: Create and implement software features that are intuitive, functional, and usable by end users.
• Bug Identification & Resolution: Identify the root cause of reported bugs and proactively look for issues during development to ensure user workflows remain uninterrupted.
• Feature Verification and NFR Validation: Ensure the implementation is verified against its acceptance criteria and required non-functional characteristics before QA takes on full test execution, so QA's effort goes toward deeper validation rather than catching basic gaps.
• UI and UX Collaboration: Faithfully translate the UX Designer's vision into working, accessible software, so users get consistent, well-crafted experience without the engineering team making ad hoc design calls.
• Technical Research & Documentation: Research ways to expand the organization’s technical capabilities and document findings as decision guides and proposal documents.
• Release & Environment Management: Manage testing environments and execute deployments safely and reliably across all environments, so releases the Lead Engineer has scoped go out smoothly, issues are caught early, and software and other changes are consistently and safely released.
• Technical Oversight: Ensure engineering execution aligns with architectural direction by partnering with the Architect on design decisions and providing senior technical guidance to the team
• Code Review and Mentorship: Raise the technical quality of the team's output and grow less experienced engineers into stronger, more independent contributors through consistent code review and mentorship
• Other duties as assigned

Professional Qualifications: 

       The following knowledge, skills, education, and experiences are required:

• Bachelor’s degree in Computer Science, Engineering, or related field, OR equivalent practical experience.
• 5+ years of professional software engineering experience, with demonstrated ability in full-stack development.
• Strong proficiency in Python (FastAPI, AWS Lambda Powertools) and TypeScript/JavaScript 
• Prior experience prototyping proof-of-concepts to evaluate new tools, frameworks, or AI-assisted workflows.
• Solid grounding in system design, debugging, and unit/integration testing (e.g., pytest) 
• Demonstrated critical thinking and analytical thinking applied to ambiguous, end-to-end technical problems 
• Experience with code review practices and delivering constructive, substantive feedback 
• Working knowledge of CI/CD pipelines (GitHub Actions) and AWS deployment practices, including risk assessment for production releases 
• Ability to interpret acceptance criteria and validate non-functional requirements (performance, security, reliability) 
• Hands-on experience with AI-assisted development tools (e.g., GitHub Copilot, Claude Code), with the judgment to critically verify AI-generated output rather than accept it uncritically 
• Strong written and verbal communication skills, including the ability to explain technical issues to non-technical stakeholders during incidents.
• Excellent problem-solving, organizational, and communication skills.

The following knowledge, skills, education, and experiences are preferred:

• Experience with React, Tailwind CSS, and building accessible (WCAG-conformant) interfaces 
• Familiarity with observability and incident-response tooling (Dynatrace, Open Telemetry, AWS CloudWatch)
• Mentorship or coaching experience with junior/mid-level engineers 
• Exposure to Python for AI/ML prototyping 
• Familiarity with business/domain knowledge in auto finance, lending, or compliance-driven software environments

Why Consider Joining FIS now?

• The business is poised for accelerated growth
• The company's story is one of protecting financial institutions and consumers alike with respect to F&I products
• Work with a talented and forward-thinking team that values your ideas and contributions.
• Opportunities for professional development and career advancement in a rapidly evolving industry.

The following behaviors are required:

• Leadership & Accountability: Takes ownership of responsibilities and outcomes.
• Collaboration & Teamwork: Actively fosters inclusive and cross-functional collaboration.
• Adaptability & Flexibility: Responds effectively to change and evolving business needs.
• Problem-Solving Mindset: Proactively identifies issues and develops solutions.
• Attention to Detail & Quality Focus: Prioritizes accuracy, reliability, and robust testing.
• Time Management & Efficiency: Balances priorities to meet deadlines without sacrificing quality.
• Continuous Learning & Growth: Stays current with trends, technologies, and best practices.
• Effective Communication: Translates technical concepts into clear language for stakeholders.
• Customer-Centric Approach: Keeps end users at the center of all design and development.
• Resilience & Persistence: Maintains a positive, solution-oriented approach to challenges.

F&I Sentinel is an Equal Opportunity Employer. Employment decisions are made without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, physical or mental disability, genetic factors, military/veteran status, or other characteristics protected