Responsibilities:

• To perform all roles and responsibilities required of site supervisors under the Building Control Act
• Ensure that the M&E works are constructed in accordance with drawings and specifications and the Building Control Act and Regulations
• Monitor and report on the progress of works
• Carry out inspection of M&E engineering works prior to concreting, subsequent construction work and defects rectification works
• To carry out supervision and inspection of the works as directed by the Supervision QP, CRE,SRE, consultants or Superintending Officer
• To manage and supervise the Resident Technical Officer under his charge
• Ensure records of all mechanical and engineering works including records of tests, defect rectification, inspections, work progress, material and equipment on site, safety, etc, are timely updated and properly kept
• Attending site, progress, variation and coordination meetings
• Verifying all reports and claims relating to M&E works submitted by the contractors
• Liaise with all relevant authorities and stakeholders to maintain proper and updated daily records of all works done including records of tests, inspections, status of work, safety, site diary, material on site and equipment on site, labour force, day works, provisional items or provisional quantities etc.
• Keeping accurate record of variations as instructed or approved by the Superintending Officer and to maintain a set of updated drawings on site
• Check all drawings (including shopdrawings, construction drawings and specifications for discrepancies and to report to the Supervision QP, consultants or Superintending Officer

Requirements:

• Minimum five (5) years of relevant experience as a mechanical and electrical engineer, of which at least three (3) years shall be in supervision of works similar in nature to major construction works in buildings, services laying and lighting & control systems.
• Degree/ Diploma in mechanical or electrical engineering degree recognised by the Professional Engineers Board of Singapore.
• Preferably with experience in the supervision of infra services laying, lighting & control systems.
• Contract Period: 1 year, subjected to extension depending on project requirement

Responsibilities/Job Scope:

• Pre-silicon verification and post-silicon system validation

• Test case and test automation scripts development and test plan execution

• Debug system (hardware, software and firmware), provide expert support to internal as well as external customer

• Silicon characterization and failure analysis

• Booting and other source code development

• Interoperability Testing (IOP), debugging and propose solutions

• Requires interfaces with Architecture, Design, and Pre-silicon Validation teams in improving post-silicon test content and providing feedback for future on-die debug features

Qualifications and Experience:

• Bachelor’s degree and above of computer science or electronic and electric engineering or embedded system

• Minimum three years’ experience of hardware, firmware development and system verification in consumer/electronics products

• Familiar with system board design/debugging and usage of lab equipment like Oscilloscope and Logic analyzer

• Experience of silicon verification and test plan execution

• Understand Ethernet GPHY, Ethernet Switch/PCI/USB/PCI-E/ /SGMII/SPI bus protocol

• Experience of C/C++ and Python Programming language

• Knowledge of physical layer components such ADC, DAC, AGC, DSP, filtering, line driver, differential signals

• System Debug tools JTAG, EJTAG. Knowledge of Spirent Test center and scripting

• Team player, very proactive and self-motivated

• To carry out instrumentation related detailed design and preparation of drawing
• To interpret and develop P&ID, technical data sheet preparation and I/O wiring diagram
• To carry out instrumentation calculation for the design
• Responsible for reviewing of instrumentation documents and specification from clients and consultants
• To check and review all instrumentation related drawings and documents from suppliers and vendors
• To liaise with clients, consultants, sub-contractors to resolve technical issue at site and in office
• To co-ordinate with engineers of other disciplines within the department
• To prepare Pre-procurement including evaluation of technical and commercial bid from vendor and supplier
• To provide engineering support in tendering of new projects such as preliminary design, material and cost esimates etc
• To provide technical support to project team for on-going projects and resolve any technical issue on site
• To assist in preparation of project schedule, related work procedure/method of statement and monthly progress claim.

Job Description & Requirements

1. Preparation of maintenance schedule according to clients master schedule.

2. Preparation of progress report and submission

3. Procurement of material/ parts/ components

4. Technical assessment of systems and introduction of retrofit / replacement recommendation to clients

5. On the job risk analysis and preparation of risk assessment procedure.

6. Preparation of method of statement / process for presentation to clients.

7. Perform checks and inspections of entire systems including control parameters attendance.

8. Troubleshooting of fault / breakdowns and rectification according to authorities / clients requirement.

9. Perform full set of testing complying to authorities / clients requirement.

10. Perform maintenance program and complying to authorities / clients requirementt.

11. Attendance of meeting and or site survey with clients.

12. Submission of quotations / costing to clients within stimulated time frame.

13. Maintenance of good public relationship with vendors / clients.

14. Logistic and manpower planning and arrangement.

Job Description

• This is a delivery cum support role, working on cloud (private and/or public) operations with the infrastructure delivery and support teams.
• You will execute daily operational activities as well as implementations in technical customer engagements including basic infrastructure operations and administration, specific implementation projects and/or proof-of-concepts in the infrastructure.
• The ideal candidate will have experience in delivery roles and successes in implementation discussions, hands-on experience with good client handling skills and good team player within the team.
• The candidate should also be able to provide solutions and technical expertise to fellow team members and in client accounts.

Responsibilities

• Apply technical knowledge, hands-on and customer insights to operate and administrate a cloud (private and/or public) infrastructure.
• Ensure all configurations conform to high levels of performance, security, scalability, maintainability, and appropriate reusability and reliability upon deployment, aligning to design documentation specifications.
• Ability to codify or implement/deploy configurations with the principles of automation by default in new projects with proper documentations will be advantageous.
• Ability to codify or maintain infrastructure systems in an automated fashion using tools such as but not limited to Ctrl-M, Ansible, Terraform etc with proper documentation will be advantageous
• Collaborate with team members to engage clients in operational meetings, discussions, process betterment and contribute to optimisations for the client’s environment.
• Maintain technical skills, certifications and knowledge of market trends and competitive insights; collaborate and share with the technical community specifically in the infrastructure.
• Ability to resolve issues with proper resolution/documentation technically and SLAs is required for this role.

Job Requirements:

• Job Role/Level: Engineer, Workload Automation Mgmt.
• Mandatory Skills (must-have): Control-M
• Preferred Skills: Troubleshooting, Problem and Change Management
• Work Location: Tanjong Pagar
• Contract Duration: 12 months
• Security clearance * Need to be cleared for the project (project clearance) before onboarding
• 24 * 7 standby: Yes
• Shiftwork: No
• Monthly Claims: Mobile: up to $ 50 per month (on reimbursement basis along with receipt/invoice subjected to project team’s approval)
• Transport: on reimbursement basis along with receipt/invoice subjected to project team’s approval
• Monthly Allowance: NA
• Bonus: 1 month of Performance Bonus
• Notice Period: 2 Months

Professional Experience

• At least 2 years of successes in operational/administration and deployment/migration infrastructure projects.
• Problem Solving. Ability to solve customer problems through technologies.
• Collaboration and Communication. Acknowledged helping to provide solutions to issues collaboratively, resolving conflicts and ensuring follow through with proper follow up and closure.

Technical Experience

• Strong technical experience with cloud infrastructures, migrations, and technology management preferred

1. Should be able to perform Control-M Administrative activities involving:

a. Agent on-boarding on Windows and Linux platform

b. Control-M Env Configuration – Windows Servers and MSSQL DB

c. Monitor Housekeeping jobs and Control-M Server resources.

d. Configure/Update authorization profile (RBAC)

e. Configure/Update Calanders, Workload policies, Site standards.

f. Support maintenance activities like OS patching and DR activity

g. Troubleshooting issues and provide RCA, involve vendor if required.

2. Should have good knowledge on Control-M Application HA and DR setup.

3. Will be responsible to perform job configuration inline to site-standards and naming convention.

4. Provide consultation to application team to address there scheduling requirements.

5. Should be well worse with change life cycle and Jira.

6. Should provide inputs to documentation like – TDS, OPS Guid etc.

7. Mitigate security risk highlighted by VA scan.

8. Conduct KT session for customer

9. Should have good knowledge of Linux and windows platform

Certifications

BMC Ctrl-M Certified Associate, BMC Ctrl-M Certified Fundamentals, BMC Ctrl-M Certified Professional

Vmware Certified Technical Associate and/or VMware Certified Professional will be desirable.

Job Type: Contract

Salary: Up to $12,500.00 per month

Work Location: Tanjong Pagar (In person)

- Candidate must possess at least Bachelor's Degree/Post-Graduate Diploma/Professional Degree in Engineering (Civil) or equivalent.

- At least 5 Year(s) of working experience in the construction-related projects

- Abilities to work with Consultants

- Required Skill(s): AutoCAD, project management, good communication skills, good personal-relationship skill

- Preferably Junior Executive specialized in Engineering - Civil/Construction/Structural or equivalent.

• To carry out electrIcal related detailed design and preparation of drawing
• To interpret and develop P&ID, technical data sheet preparation and I/O wiring diagram
• To carry out electrical calculation for the design
• Responsible for reviewing of electrical documents and specification from clients and consultants
• To check and review all electrical related drawings and documents from suppliers and vendors
• To liaise with clients, consultants, sub-contractors to resolve technical issue at site and in office
• To co-ordinate with engineers of other disciplines within the department
• To prepare Pre-procurement including evaluation of technical and commercial bid from vendor and supplier
• To provide engineering support in tendering of new projects such as preliminary design, material and cost esimates etc
• To provide technical support to project team for on-going projects and resolve any technical issue on site
• To assist in preparation of project schedule, related work procedure/method of statement and monthly progress claim

Job Description:

As a Software Engineer at our company, you will play a crucial role in designing, improving, and implementing software solutions for our high-tech products in the semiconductor manufacturing industry. You will collaborate closely with the software manager and other members of the Scrum team, taking ownership of assigned software development tasks. Your responsibilities will include writing, debugging, and maintaining source code, as well as conducting unit tests to ensure the robustness of the developed software.

Key Responsibilities:

· Design and enhance software architecture.

· Execute assigned software application development tasks.

· Report to the software manager and collaborate closely with other software engineers in the Scrum team.

· Take responsibility for writing, debugging, and maintaining source code and conducting unit tests.

· Demonstrate developed features to the company team and product managers, collecting feedback for continuous improvement.

· Provide customer support and on-site debugging as needed.

Requirements:

· Bachelor's, Master's, or Ph.D. degree in Computer Science, Computer Engineering, Electronics, Automation, or related technical fields from a reputable university.

· 5 years of programming experience in C#, .Net/WPF, and C++ on the Windows platform.

· 5 years of professional design and development experience in object-oriented design patterns for scalable, high-performance large software applications.

· 5 years of experience with commercial system software and hardware integration in a production environment.

· Familiarity with open source or popular commercial image processing libraries.

· Experience in factory automation and MES development.

· Prior experience in CUDA-based GPU programming is a plus.

· Experience with detection and measurement devices is a plus.

· Prior experience working in Scrum agile development teams is preferred.

- Candidate must possess at least Bachelor's Degree/Post-Graduate Diploma/Professional Degree in Engineering (Civil) or equivalent.

- At least 5 Year(s) of working experience in the construction-related projects

- Abilities to work with Consultants

- Required Skill(s): AutoCAD, project management, good communication skills, good personal-relationship skill

- Preferably Junior Executive specialized in Engineering - Civil/Construction/Structural or equivalent.

1. INTERFACE MANAGER

Job Description:

• Responsible for design, implementation, testing and commissioning of Large-Scale, Rail Transportation projects for Supervisory Control & Data Acquisition (SCADA) System
• Manage a team of interface engineers and coordinate with interfacing contractors and stakeholders to firm up the interface design including getting the interface design and interface documents accepted by the client.
• Participate in interface meetings and interface testing on site with the interfacing parties.

Job Requirement:

• Diploma/Degree in Electrical, Electronics or Computer Engineering
• Excellent working knowledge of SCADA software package on UNIX and Windows platforms
• 3 – 5 years’ working experience in the design and implementation of Real Time Control System in a project environment
• Experience with various types of interfaces and protocol
• Ability to participate in multiple projects and work under pressure
• Pro-active, resourceful and able to work with various stakeholders
• Team player and independent

Please submit resumes to [email protected] with the following

details in MS Word format:

- Position applying for
- Current remuneration
- Expected remuneration
- Notice period

John Goh Meng Chye

EA License No : 06C4642
EA Reg No : R1102621

• Managing the planning and design stages of construction projects.

• Contributing technical expertise to project drawings and designs.

• Performing cost calculations and preparing financial projections.

• Preparing work schedules in collaboration with the project manager.

• Liaising between contractors, subcontractors, vendors, and suppliers.

• Overseeing construction engineering processes.

• Performing regular tests on materials and procedures to ensure compliance with industry regulations.

• Ensuring that the construction project is completed on time and within budget.

• Documenting processes and keeping detailed construction logs.

• Presenting construction project progress updates to clients and senior managers.

KEY RESPONSIBILITIES:

• To provide support on maintenance project.

• Handle system administration, network support, implementation, troubleshooting in Windows / Linux / Unix.

GENERAL REQUIREMENTS:

• Candidate must possess at least a Diploma in Engineering (Electrical/Electronic), Computer Science/Information Technology or equivalent.
• Must have at least 1-2 years of Server experience
• A team player with good communication and interpersonal skills
• Able to work without minimal supervision
• Able to work on scheduled standby on rotating weeks.
• Working hours: Mon to Fri, 8.30am to 5.50pm.

Only shortlisted applicants will be notified.

EA License: 14C7275| Juhi Dwivedi : R23112291

RESPONSIBILITIES:

Netlist to GDSII at block level, Subsystem Level and at Full chip.

• Worked on multiple tapeouts on Netlist to GDSII

• Hierarchical partitioning and budgeting of block-level subsystems.

• Implementation of high performance (HP) cores, low power designs

• Node experience upto 7nm, 10nm, 14nm, 28nm.

• Timing Signoff in loop through STA and ECO cycle at block and at interface.

• Block level floor planning, power planning and IR drop analysis.

• Scan chain reordering / Scan Chain repartitioning

• CTS expertise and clock tree constraints creation for meeting specifications

• MMMC optimization at Block and Sub-System Level

• Timing closure with Crosstalk and AOCV / POCV

• TCL scripting to fundamentally understand tool usage.

MANDATORY EDA SKILLS

• PnR tools such as Synopsys ICC/ICC2 and/or Cadence Innovus

Responsibilities:

• Responsible for the electrical design contents as assigned together with its follow-up for Authority and Client’s approval.
• Preparation of electrical design calculations, drawings, specifications, and tender documents for the design projects.
• Participation in design progress and design coordination meetings.
• Liaison and coordination with all applicable Local Authority Departments to obtain approval on projects.
• Responsible for the design review of the electrical services.
• Participation in design review meetings and workshops.
• Preparation of meeting records, design review and design progress reports.

Requirements:

• Degree in Electrical Engineering or other related field
• Minimum 8 years of professional hands-on electrical design experience in building and infrastructure projects
• Excellent technical skills and knowledge in field of expertise
• Experience with full project life-cycle engineering stages from feasibility study, through construction to commercial operation
• Strong project management, communication and interpersonal skills
• Proven track record of developing and delivering innovative client technical solutions

Sales Director / Business Development Managers (Singapore and Malaysia)

Expense Reduction Reviews for Companies

Job Highlights

• Attractive Remuneration Package
• Passionate and Vibrant Environment

· Dynamic and Fast-paced Environment

· Experience in Sales and Project Management skills

Responsibilities

· Conduct sales pitch to prospective clients who are companies CFO, CEO, COO, MD, Finance Manager

· Able to hold good conversion and do presentation with the higher level management

· Able to go after Sales target

· Project handling and management throughout the whole contract when clients is onboard

· Mature in thinking and handling of all matters

Job Description

• Candidate must possess at least Diploma/Advanced/Higher and above
• At least 3 Year(s) of working experience in the related field is required for this position as a Sales and Business Development Manager / Director role
• Required Skill(s): Possess strong networking and sales closing techniques

· Team player with a positive attitude, inquisitive, pays attention to detail, open to ideas and highly motivated.

Interested candidates are invited to submit a comprehensive resume via APPLY Now. Please include the below information in your resume

· Latest updated resume

· Date availability. Able to start work immediately would be an advantage

· Paid by Project Basis only (no basic pay for this role)

· Very high commission together with performance bonuses for projects closed

· Flexible working hours (Work from home arrangement for now)

· Quarterly incentives & Yearly company performance

· Work Life Balance

· Only Singaporean or PR

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

Who is Mastercard?

Mastercard is a global technology company in the payments industry. Our mission is to connect and power an inclusive, digital economy that benefits everyone, everywhere by making transactions safe, simple, smart, and accessible. Using secure data and networks, partnerships and passion, our innovations and solutions help individuals, financial institutions, governments, and businesses realize their greatest potential.

Our decency quotient, or DQ, drives our culture and everything we do inside and outside of our company. With connections across more than 210 countries and territories, we are building a sustainable world that unlocks priceless possibilities for all.

Overview

We are looking for a Director – Transfer Solutions, to drive product commercialization and go-to-market execution for Mastercard’s Transfer Solutions (Cross Border Services and Mastercard Send). Mastercard Transfer Solutions (Cross Border Services and Mastercard Send) is a key component in establishing Mastercard as a global player in Real time Payments and facilitate secure delivery of funds between senders and receivers, typically in near real time. Businesses, merchants, governments, financial institutions, digital players & fintechs can send money to consumers and small businesses, domestically and cross border with this service. Our Transfer solutions leverage a combination of Mastercard’s card and account-based technologies to enable multiple user flows including person-to-person, business to business, disbursements, remittances and merchant payments.

The individual will contribute to product commercialization and work hand in hand with the regional, global and market teams to scale our Transfer Solutions capabilities.

Role

The role will be focused on leading the successful roll-out of Transfer solutions business (Cross Border Services and Mastercard Send) within AP, to include:
• Lead go-to-market plan development & business development for Mastercard Cross Border Services for Fintech Segment in AP (hunting & farming)
• Develop country wise commercialization strategy for fintech segment including market sizing and Deep analysis of use cases to identify pain points and opportunity size
• Stitch together a Product suite that can solve key pain points of fintechs in their cross-border flows in collaboration with global teams
• Achieve aggressive revenue growth for Mastercard Transfer Solutions services in fintech segment
• Prospect and contract AP fintechs through coordination with product development, internal support teams such as customer delivery, operations and technology, legal, finance and market/geography teams
• Lead Bank partner network expansion for X-border services in AP to achieve revenue acceleration
• Coordinate with Product, in-market teams, Franchise, marketing, data services and Finance to build the Cross-border services vertical in AP
• Industry partnerships and other strategic alliances in support of the strategy.
• Play a key role to facilitate financial modeling / business case development for new business opportunities: execute commercial deals from initial engagements, client negotiations, contract agreement process to implementation
• Account level P&L ownership, including pricing, yield-optimization, corridor optimization & best practices deployment
• Articulate ideal end state, the areas that require product development and the long-term revenue potential
• Monitor and report competition, market evolution and trends, analyze findings from ongoing and previous research efforts and recommend actions.

All About You

• This position requires a highly collaborative individual who will need to manage relationships across multiple functional areas, regional executives and leadership as well as key customers and strategic partners across AP.
• 10+ year working experience with in-depth knowledge and experience in cross border flows
• Strong interpersonal and leadership skills to influence and build credibility; team oriented, collaborative, diplomatic, and flexible
• Cross-functional team leadership experience managing multiple, complex projects concurrently and delivering timely results under tight timelines
• Fintech experience in AP region preferred but not mandatory
• Excellent problem-solving skills with demonstrated track record in introducing new/emerging products and services
• Experience executing and managing business development strategies in complex environments
• Strategy and product management experience preferred but not mandatory
• Track record in building efficient sales team, achieving business development targets and building strong customer relationships
• Leadership and people management preferred but not mandatory
• Excellent problem-solving skills with demonstrated track record in introducing new/emerging products and services
• Top tier MBA preferred but not mandatory
• Prior experience in sales and product commercialization is preferred

Job Overview: We are seeking a highly skilled and motivated Software System Safety Engineer to join our dynamic team. The ideal candidate will be responsible for ensuring the functional/ system safety of our products, software and systems, with a focus on compliance with relevant safety standards and regulations. As a Functional / System Safety Engineer, you will play a crucial role in identifying and mitigating potential safety risks, conducting safety analyses, and collaborating with cross-functional teams to implement safety measures throughout the product development lifecycle.

Key Responsibilities:

1. Safety Analysis:

• Conduct hazard analysis, risk assessments, and safety integrity level (SIL) assessments to identify potential safety risks associated with products and systems.
• Perform Failure Modes and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) to evaluate the impact of potential failures on system safety.

2. Compliance and Standards:

• Ensure compliance with relevant functional safety standards, such as ISO 26262, IEC 61508, or other industry-specific standards applicable to the domain.
• Keep abreast of evolving safety standards and regulations to ensure continuous compliance.

3. Safety Requirements:

• Develop and define functional/ system safety requirements for products and systems, considering both hardware and software aspects.
• Collaborate with design and development teams to integrate safety requirements into the overall product development process

4. Documentation:

• Create and maintain comprehensive documentation related to functional safety, including safety plans, reports, and safety cases.
• Ensure that safety documentation aligns with industry standards and best practices.

Qualifications and Skills:

• Bachelor’s degree in Engineering or a related field.
• Proven experience in functional / system safety engineering, preferably in industries such as automotive, defense, or industrial automation.
• Familiarity with safety standards such as ISO 26262, IEC 61508, or equivalent.
• Strong understanding of safety analysis techniques, including FMEA and FTA.
• Experience with safety-critical systems and knowledge of hardware and software safety mechanisms.
• Excellent communication and collaboration skills.
• Experience in product development is a plus
• Experience in intelligent transportation and/or autonomous vehicle system development is preferred
• Certification in functional safety (e.g., CFSP) is a plus
• Knowledge in MIL-STD-882 and TR68 is a plus

Application Process: Interested candidates are encouraged to submit their resume and a cover letter highlighting their relevant experience in functional/ system safety engineering. Shortlisted candidates will be contacted for an interview.

MooVita Pte Ltd is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.

Sales Director / Business Development Managers (Singapore)

Business Buy & Sell for Companies

Job Highlights

• Attractive Remuneration Package
• Passionate and Vibrant Environment

· Dynamic and Fast-paced Environment

· Experience in Sales and Project Management skills

Responsibilities

· Looking for companies that is planning to sell their business or buy in more companies

· Minimum entry will be selling price ranging 3 million sg dollars and above

· Conduct sales pitch to prospective clients who are companies CEO or MD if they are keen to sell their companies or if they plans to buy in more companies for expansion or planning for group listings of companies

· Able to hold good conversion and do presentation with the higher level management

· Able to go after Sales target

· Mature in thinking and handling of all matters

Job Description

• Candidate must possess at least Diploma/Advanced/Higher and above
• At least 3 Year(s) of working experience in the related field is required for this position as a Sales and Business Development Manager / Director role
• Required Skill(s): Possess strong networking and sales closing techniques

· Team player with a positive attitude, inquisitive, pays attention to detail, open to ideas and highly motivated.

Interested candidates are invited to submit a comprehensive resume via APPLY Now. Please include the below information in your resume

· Latest updated resume

· Date availability. Able to start work immediately would be an advantage

· Paid by Project Basis only (no basic pay for this role)

· Very high commission together with performance bonuses for projects closed

· Flexible working hours (Work from home arrangement for now)

· Quarterly incentives & Yearly company performance

· Work Life Balance

· Only Singaporean or PR

Job Description

1.Responsible for client relationship management of major clients in Southeast Asia.

2.Responsible for market insights and identifying potential business opportunities in Southeast Asia.

3.Collaborate to solve customer problems with solutions, production and technology, and manage the project lifecycle.

Job Requirement

1.Bachelor's degree or above, with more than 1 year of overseas sales/customer development experience, preferably in the logistics industry, with priority given to the Southeast Asian region.

2.Familiarity with logistics technology products (such as self-service cabinets and automation products) is preferred.

3.Have good English speaking ability.

4.Positive, enthusiastic, eager to learn, and able to work under pressure.

This position prefers candidates with a legal background. The incumbent is required to design a comprehensive curriculum for structured training, encompassing both legal and non-legal content.

Responsibilities:

• Industry engagement and outreach to promote SAL’s role in learning and professional development within the legal industryRaise awareness of and promote adoption of a skills framework for the legal industry
• Build strong relationships across the academic and industry community to understand emerging adult learning needs for legal professionals
• Evaluate market demand and industry landscape to inform research and innovation priorities
• Conduct research and analyse research findings to recommend organisational policies and plans
• Conceive and present plans to key internal and external stakeholders (such as other training providers, government agencies, funding agencies, educational institutions and business associations, both local and international) to influence acceptance or adoption and create collaboration opportunities
• Support learning and development initiatives for the legal industry spearheaded by other stakeholders
• Contribute to the development, maintenance and update of a skills framework for the legal industryEngage industry and stakeholders to understand and validate the competencies needed for various job roles within the legal industry
• Collaborate with relevant stakeholders and partners for development of the skills framework
• Assist in drafting materials for the skills framework in accordance with relevant standards, e.g. Skillsfuture standards
• Contribute to the design and execution of online and face-to-face (including blended) structured training programmesIdentify learning needs and programme objectives
• Identify and assess suitable training partners where applicable
• Create curriculum design specifications with relevant subject matter experts or training partners
• Define desired user experience journeys for learners and recommend appropriate learning delivery modes, appropriate learning activities and potential applications of learning technology
• Contribute to the development of courseware materials and accreditation and certification models to ensure alignment with curriculum objectives, the skills framework and other stakeholder requirements (e.g. continuing professional development frameworks, funding agency requirements, etc)
• Plan and execute structured training programmes
• Evaluate effectiveness of programmes to guide future curriculum and programme planning
• Support specialist accreditation programmes and activities
• Administer and support SAL’s specialist accreditation schemes, including application and selection processes, training and development programmes in specialist areas,
• Assist in the design and establishment of new specialist accreditation schemes for various practice areas
• Engage with accredited specialists to understand their needs and obtain feedback on how to enhance specialist accreditation programmes and other SAL products and services
• Organise engagement and networking activities and administration of other benefits for accredited specialists

Qualifications:

• Minimum Bachelor’s degree from an approved university with at least 8 years’ experience in a law firm, legal department, or legal academia / learning and development, or equivalent. Law degree preferred.
• Master’s degree or other professional qualification / certification in education or adult learning, or equivalent experience, would be an advantage.
• Experience in developing competency frameworks, planning curriculum and designing/managing learning and development programmes would be an advantage.
• Able to build positive and productive relationships with colleagues and other stakeholders. A mature network of contacts relevant to the role would be an advantage.
• Experience in designing or managing WSQ or Skillsfuture-funded courses, or in building and managing training partnerships preferred.
• Sound financial management skills and commercial awareness preferred.
• Appreciates and comfortable using a range of technologies relevant to the role.
• Able to read, speak and write English with advanced fluency.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

Support the customers to install, diagnose and resolve Hardware, Software, Application issues on desktop PC/notebook and related peripherals.

Primary Responsibilities

• To assist in installation of hardware and software
• To ensure that hardware and software are maintained according to standards by performing upgrades, new installations and carry out routine updating procedures

Job Knowledge/Skills

• Diploma in Information Technology or Computer science or any computer related subject.
• Good knowledge in PC hardware, LAN and Windows OS
• Resourceful and able to resolve problems independently using online and offline resources
• Good communication and Interpersonal Skills
• Able to communicate effectively in English
• Well organized, proactive and self-directed
• Able to perform with minimal supervision and a team player
• Shift duty and weekend support are required when needed
• Candidateswith troubleshooting knowledge are welcome to apply
• Security Clearance is required

Additional Information

• Location: 50% at Jurong Island
• Once per week, morning shift duty ( 6 am to 2 pm).
• Weekend support for system upgrade / cutover is about once every 2 months.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2