Job duties and responsibilities:

1. Perform certification of release to service

2. Perform and certify aircraft maintenance tasks

3. Inspect, troubleshoot, and repair all associated aircraft systems

4. Signing off tasks and complying with airworthiness requirements

Experience and Qualifications:

1. Minimum at least five years’ experience as an LAE capacity

2. A CAAS license or an Aircraft Maintenance License can be transferable to a CAAS license such as EASA, CASA, DCA, CAD or CAA.

3. Possess at least 2 B1 or B2 aircraft-type rating on A320, A330, A350, A380, B787, B777, B747, and/ or B737.

4. Well-written and spoken English essential.

5. Good computer and interpersonal skills

The Network Engineer is responsible for managing day to day support of operational tasks, requests, incidents and changes meeting customer’s requirements and agreed service levels. Perform and support regular preventive maintenance tasks.

The activities include:

• Respond and handling of customer requests/queries.
• Incident resolution - Experienced in troubleshooting system and network problems, diagnose and solve hardware/software issues, analysing system logs and identifying potential issues/incident.
• Change, Service Request fulfilment and Problem ticket closure - Responsible for applying operating system updates, patches, and configuration changes.
• Problem ticket closure.
• Preventive maintenance tasks fulfilment.
• Vulnerability assessment - Responsibility for security compliance & hardening remediation.
• To assist the Team Lead/Operations Manager to train and guide junior team members.
• Develop and enhance NOC team capability.

Technical Experience:

• Experienced in network/security administration in enterprise DC and Public Environment.
• Experiences in supporting firewall /network product such as Cisco routers & switches, Cisco Firewalls, Cisco ACI, Aruba, Infoblox, Citrix load balancers, Solarwinds etc.
• Experienced in troubleshooting system and network problems, diagnose and solve hardware/software issues, analysing system logs and identifying potential issues/incident.

Responsibilities:

• Analysing, troubleshooting and correcting network problems remotely and on-site.
• Responsibility for documenting incident RCA report the configuration of the system and (network) system performance tuning.
• Responsibility for security compliance, patching, health check & hardening remediation.
• Maintaining and administering perimeter security systems such as firewalls and intrusion detection systems.
• Performing standard or project change request as per change window.
• Provide on-call 24 x 7 support on a rotating basis.
• Responsible for applying operating system updates, patches, and configuration changes.
• Perform Preventive Maintenance.
• Participate in customer weekly sessions.

Requirements

• Tertiary education (Bachelor’s degree) in Computer Science, Information Technology or related field with possession of network-related certifications such as CCNA, CCNP, CCIE is preferred.
• At least 5-10 years of hands-on experience in managing network and security equipment.
• Able to work on multiple activities con-currently and effectively self-manage.
• Familiar with network product such as Cisco routers & switches, Cisco Firewalls, Cisco ACI, Aruba, Infoblox, Citrix load balancers, Solarwinds etc.
• Strong critical thinking and problem-solving skills and a passion for information security.
• Fluent communicator in both written and spoken English.
• Good interpersonal skills and able to work independently as well as in a team.
• Demonstrate good analytical and problem solving abilities.
• Possess a customer-oriented mindset and a sense of initiative.

Company Description

Working at Boskalis is about creating new horizons and sustainable solutions. In a world where population growth, an increase of global trade, demand for (new) energy and climate change are driving forces, we challenge you to make your mark in finding innovative and relevant solutions for complex infrastructural and marine projects.

Within a vibrant company culture, you will be working as part of a diverse, international team of experts. We offer you the opportunity to realize your full personal potential and expand your professional career by creating new horizons. Together!

Job Description

As a Junior Environmental Engineer, you will play a crucial role in ensuring our projects adhere to environmental regulations and standards. You will be responsible for executing comprehensive environmental monitoring and management plans, providing technical advisory, and ensuring compliance with environmental policies. Your key responsibilities will include:

Your responsibilities as a Junior Environmental Engineer

• Execute an environmental monitoring and management plan to reduce and mitigate potential negative impacts on the environment.
• Assist in providing technical advisory on environmental policies and standards, ensuring regulatory compliance, and assessing project-specific environmental requirements and specifications.
• Conduct research and technical audits on the environmental impact of projects, analyse data, perform quality control checks, and conduct on-site inspections for instrumentation and monitoring works.
• Collaborate with scientists, engineers, subcontractors, and consultants to develop environmental solutions, and document and maintain plans, requirements, protocols, permits, and standard operating procedures.
• Develop requests for quotations for environmental monitoring scopes, assess environmentally related proposals from potential subcontractors, and contribute to construction risk assessments from an environmental management perspective.

Your qualities

You can make your mark as a Junior Environmental Engineer

• Bachelor’s degree in Environmental Science, Engineering, Marine, Geography, or a related field, with 0 to 3 years of relevant experience in environmental monitoring/management.
• Preferred knowledge of software such as Excel, Outlook, PowerPoint, CAD, and GIS; familiarity with programming languages like Python or R is advantageous.
• Full proficiency in English, both written and spoken, is required for effective communication with colleagues from diverse backgrounds and nationalities.
• Organized, analytical, proactive, self-motivated, and a good team player with strong problem-solving and interpersonal skills.
• Ability to work in a dynamic environment with various stakeholders, and flexibility to meet project requirements and deliverables, which may occasionally include weekends and public holidays.

Qualifications

What you can expect:

• Career opportunities: We challenge you every day to get better. Together we realize your full personal and professional career by creating development opportunities.
• Warm welcome: We warmly welcome our new colleagues, so they feel at home as soon as possible.

The TS Senior Security Engineer performs test activities and manages the internal or external customer independently. The Lead Technical Analyst is responsible for the customer satisfaction of the test deliverables and enables a smoothly running testing, validation or certification process. This includes using test automation tools, analyzing and validating test results and reporting to the customer. The Lead Technical Analyst participates in evaluating the security of IT products, such as network device, encryption software, mobile devices, payment terminals or e-Passports based on certain scheme requirement, such as Common Criteria, Cybersecurity Labelling Scheme, Common.SECC etc. This will include the development document review, IT products analysis, the development and the realization of penetration test, the support and training of evaluation engineers.

Responsibilities for Internal Candidates

• Support the Project Management team on evaluation scoping, resource requirements, certification body and customer expectations management.
• Conduct IT product security function evaluation work based on scheme requirement, such as Common Criteria, Cybersecurity Labelling Scheme, Common.SECC etc..
• Customer code review when needed : due to stringent confidentiality and security requirements, it often requires traveling to customer premises.
• Based on the code review result, conduct a vulnerability analysis to determine if the customer product has any potential security weaknesses.
• Customer site audit when needed : normally traveling to customer premises, conduct remote audit in current Covid situation.
• Investigate possible logical attack scenarios. Provide support for the penetration tester in charge of product testing – by interpreting the code review findings and compliance checking result, orienting the attack paths and analyzing the test results.
• Formal report writing in line with customer and certification scheme requirements.
• Delivery of customer projects on time.
• Maintain/improve technical knowledge by attending educational workshops, reviewing professional publications, obtaining applicable certifications and participating in professional societies and cross-departmental task forces.
• Contribute to internal work processes by improving tools to evaluate efficiency, report writing and technical training.
• Performs other duties as directed by supervisor.
• Maintains Laboratory accreditation and resolve scheme's mandated corrective action plans.

Qualifications for Internal Candidates

• Master or Bachelor level degree (or equivalent) in Information Technology, Computer Science or equivalent proving your analytical skills and technical approach.
• Minimum 5 to 8 years’ information security working experience, Common Criteria evaluation experience is the best and ISO 27001 auditing will be an advantage.
• Possess CISM / CISA Certification or related is an added advantage.
• COMMON CRITERIA SINGAPORE EVALUATOR (under SCCS) Certified is an added advantage.
• Comfortable in trying yourself in new areas without necessarily knowing everything and can figure out things as you go.
• Like working towards a larger goal and willing to take the initiative in your own hands.
• Good at communicating and can convey message to both technical and business audiences.
• Able to make decision independently under certain scenario, such as during site audit in customer site.
• Nice to have IT product development experience or penetration testing experience.

Homebrew is looking for an Immersion Cooling Engineer (Data Centre) for our Hardware Division. You will be designing, building and maintaining our GPU clusters and infrastructure.

Responsibilities

• Design: Immersion Cooling System for the GPU cluster, together with hardware, networking and data centre engineers (e.g. coolant selection, immersion tanks, heat exchangers, supporting infra)
• Build: Installation and commissioning of new system (e.g. working with vendors, setting up and testing systems)
• Emergency & Operational Response: Respond to emergency incidents and develop clear SOPs for failures (e.g. pump failures, server shutdown and migration)
• Observability & Maintenance: Develop maintenance procedures for Immersion Cooling system (e.g. fluid maintenance), and system monitoring for optimisation (e.g. flow rates, equipment or vendor choices)
• Industry Research: Stay up-to-date with the latest developments in immersion cooling technology, best practices, and industry standards

Requirements

• Battle-hardened experience in data centre operations, cooling system design, or related field
• [Plus] Experience with Immersion Cooling
• Knowledge of data centre infrastructure management (DCIM) software and tools

Job Summary

We are seeking a detail-oriented and organized individual to join our team as an Invoicing Specialist. The Invoicing Specialist will be responsible for accurately generating invoices, reconciling accounts, and ensuring timely payments from clients. The ideal candidate will have a strong understanding of billing processes, excellent communication skills, and a commitment to delivering high-quality work.

Responsibilities:

Generate and distribute accurate invoices to clients in a timely manner.

Verify billing information and resolve any discrepancies or issues.

Reconcile accounts receivable ledger to ensure all payments are accounted for and properly posted.

Follow up on overdue invoices and communicate with clients regarding payment status.

Collaborate with internal teams to resolve billing-related inquiries or concerns.

Maintain organized records of invoices, payments, and billing communications.

Assist in month-end closing processes related to invoicing and accounts receivable.

Identify opportunities for process improvements to enhance efficiency and accuracy in the invoicing process.

Stay updated on industry best practices and regulations related to billing and invoicing.

Requirements:

Bachelor's degree in Accounting, Finance, Business Administration, or related field preferred.

Proven experience (2 years) working in an invoicing or accounts receivable role.

Strong attention to detail and accuracy in data entry and record-keeping.

Excellent communication skills, both written and verbal.

Proficiency in Microsoft Excel and accounting software (e.g. NetSuite, QuickBooks, Etc.,).

Ability to prioritize tasks and manage time effectively in a fast-paced environment.

Strong problem-solving skills and a proactive approach to addressing issues.

Ability to work independently as well as collaboratively within a team.

Familiarity with billing regulations and compliance standards is a plus.

Location: Jurong/Pioneer

Employment Type: Part-time

Company Overview

The hiring company is a well-established technology & infrastructure firm that powers the technology for some of the largest MNCs and famous brand names. In the midst of scaling up their data center operations teams, they are actively hiring for a Senior Engineer to join their facilities management team.

Job Responsibilities

• Perform preventative and corrective maintenance on-site
• Responsible for capacity management of facility systems including power and cooling, fire alarms, HVAC outages, etc.
• Plan and support all preventive and reactive maintenance activities with little to no disruption to company's services
• Participate and support internal and external audits for internal stakeholders and customers
• Ensure effective implementation of safety, security and customer support policy and procedures

Job Requirements

• Diploma or relevant qualifications  in Electrical or Mechanical engineering or equivalent fields
• At least 3 years of experience in data center facilities management
• Ability to work on rotational shifts (12-hours)
• Good level of technical and functional knowledge of data center infrastructure, including electrical and mechanical systems, fire detection and protection systems, building management systems, equipment maintenance
• Good sense of urgency and accountability with a strong team-oriented mindset

What is on Offer?

• Reputable company with strong clientele base
• Permanent role in a team-based work environment
• Attractive company benefits

EA Registration Number: R23118567

EA License Number: 15S7709

Responsibilities:

• Implement comprehensive System Engineering Design to meet project specifications and requirements.
• Develop and generate detailed Test Procedures and Test Reports to ensure system functionality and compliance.
• Set up and maintain a fully functional Test Lab to support system testing and validation activities.
• Conduct thorough in-house System Integration Tests to verify the seamless operation of integrated system components.
• Perform troubleshooting to diagnose and resolve system faults efficiently, ensuring minimal downtime and optimal system performance.

Requirements:

• Diploma in Computer & Electronics Engineering or equivalent
• Computer Literate e.g. MS office, JavaScript, HTML, Python

• Up to $7,500 basic + AWS + Bonus!
• Permanent position
• Participate in latest Railway project at West area.
• Having experience in Railway or relevant infrastructure project preferred
• Structure design engineers or Geotechnical design engineers are welcome to apply.

Our client is a reputable MNC and leading A1 main contractor diverse in civil, and infrastructure projects.

Job Responsibilities:

• Reporting to Design Manager
• Support in developing design concepts, technical specification documents & detailed drawings for projects.
• Liaises and coordinates with other stakeholders and consultants on ERSS, temporary design work, and technical issues relating to temporary works
• Ensuring assessments and designs are in accordance with the latest Standards, Codes of Practice.

Job Requirements:

• Degree in Civil Engineering or Geotechnical Engineering or its equivalent
• Experience in Rail/ or infrastructure projects preferred.

Other Information:

To apply please click on the APPLY NOW to submit your resume with the following details :

• Reason for leaving each past & current employment·
• Salary drawn for each past & current employment·
• Expected Salary
• Earliest availability date

We regret only shortlisted candidates will be notified.

Lionel Cheow

EA License | 14C7092

EA Registration Number | R1105005Up to $8,000 basic + Bonus!

• Supporting the latest Railway project at east area.
• Having experience in Railway or relevant Tunnelling projects preferred
• Structure design engineers or Geotechnical design engineers are welcome to apply.

Our client is a reputable MNC and leading A1 main contractor diverse in civil, and infrastructure projects.

Job Responsibilities:

• Reporting to Design Manager
• Develop and oversee design concepts, technical specification documents & detailed drawings for projects.
• Liaises and coordinates with other stakeholders and consultants on ERSS, temporary design work, and technical issues relating to temporary works
• Ensuring assessments and designs are in accordance with the latest Standards, Codes of Practice.

Job Requirements:

• Degree in Civil Engineering or Geotechnical Engineering or its equivalent
• Experience in Rail/ or infrastructure projects preferred.

Other Information:

To apply please click on the APPLY NOW to submit your resume with the following details :

• Reason for leaving each past & current employment·
• Salary drawn for each past & current employment·
• Expected Salary·

Earliest availability date

We regret only shortlisted candidates will be notified.

Lionel Cheow

EA License | 14C7092

EA Registration Number | R1105005

We are looking for Customer Service Engineer which able to work independently with good working attitude. Computer literate, and have good interpersonal skill, good knowledge in IT services is an advantage

Training will be provided.

Responsibilities

Solve customer problem related to POS, guide thru remote or onsite repair

To perform front-line after sales customer service support

SUMMARY

Represent the quality function of technical support, in conjunction with other internal support groups, regarding issues affecting manufacturing.

ESSENTIAL DUTIES AND RESPONSIBILITIES include the following. Other duties may be assigned.

· Develop and maintain QA plans and process routings, which reflect intended/actual activities.

· Provide support for all quoting activities by participation in initial process design, development, and implementation phases.

· Evaluate and support inspection processes via inspection aids and instruction guidelines.

· Support all training programs by development and implementation of specialized training sessions for all applicable functions.

· Conduct periodic review and maintenance of all documentation files; develop appropriate systems for document storage and access.

· Review all supplier or customer discrepancies. Coordinate and track the corrective/preventative action effort.

· Provide trend analysis of defects occurring at the customer, supplier and internally.

· Participate in the vendor survey activities as applicable.

· Drive proactive participation with suppliers and (when possible) aid in their process improvement efforts.

· Interface with all departments as applied to the Policies and Procedures with special regard to ISO, EN4600 and GMP documentation.

· Monitor departmental activities and provide technical and logistical guidance/support for the quality engineering staff as applicable.

· Interface and provide technical support on quality issues with the customer as needed.

· Support and focus corrective action efforts and utilizing the SPC data and corrective action tracking package and create and implement any meetings, procedures, or team-building concepts as necessary as part of the corrective/preventative effort.

· Serve as liaison between Jabil Circuit and suppliers or customers on quality related issues.

· Improve technical support for the quality organization.

· Adhere to all safety and health rules and regulations associated with this position and as directed by supervisor.

· Comply and follow all procedures within the company security policy.

MINIMUM REQUIREMENTS

Bachelor's degree required and two years related experience; or equivalent combination of education and experience.

Full Electrical cost & commercial management services from project inception to completion, including but not limited to, budget establishment, cost estimation, cost reporting, consultant and contractor procurement, valuations, contract administration, change control and administration and final account closure. Ability to work with a main contractor across projects.

Roles and Responsibilities

• Prepare tender and contract documents in accordance with the building and construction regulations.
• Conduct cost analysis for the project to ensure the overall value is enhanced.
• Control project scope to meet project objectives to enhance project deliverables and key work activities.
• Develop cost reduction strategies to enhance overall value of the project.
• Monitor project costs to ensure objectives of the project are achieved in accordance to building contract law.
• Oversee and ensure work is in compliance with standards.
• Communicate with management, contractors, and sub-contractors on the adjustments to cost estimates.
• Handle project interim and final payment claims and feedback comments regarding payment response to the management.
• Evaluate the variation order and submit costs to the relevant organization.
• Provide advice on contractual claims and ensure that project scope is properly managed.

Requirements

• Candidate possesses a Diploma or Degree certificate in Electrical Engineering.
• 5 to 10 years of relevant working experience in similar installation in building.
• Familiar and able to read electrical, Extra Low Voltage (ELV) and security system drawings.
• Good understanding of electrical, ELV and security system specifications and contract documents such as Public Sector Standard Conditions of Contract (PSSCOC).
• Good knowledge of the archi, structure and mechanical drawing readings.

About Milkyway

Established in 1998, Milkyway International Chemical Supply Chain is a leading integrated chemical logistics service expert and innovator with a head office in Shanghai, China, and multiple locations in Asia, Europe, and the United States. We are a publicly listed company on the China mainboard with over 3900 employees and CNY 12 billion in revenue in 2022. Our core business includes global forwarding, tank & tanker, project & chartering, regional transportation, regional warehousing, chemical distribution, and environment protection. We take pride in providing outstanding service to the World's Fortune 500 companies, and we truly believe our employees are the most valuable assets. Every talent that is joining Milkyway Asia Pacific headquarter in Singapore will be making an impact in its history!

Please visit http://mwclg.com/global for more information.

We are looking for a Operation Executive to join our team. This position will be reporting to the Manager based in Singapore to support in the daily freight forwardng operations related to the Singapore office.

Location: Singapore

JOB DESCRIPTION FOR OPERATIONS EXECUTIVE (TANK DEPARTMENT)

• Plan, organize and coordinate the movement of shipments based on customer/nominated office for export/importmovement inclusive of booking confirmation and meeting customer’s requirements.
• To provide timely, reliable, and complete update on status of orders to both customer/agents & the internal system.
• To ensure shipping documents are prepared correctly and sent on time to customers and updating the internal system.
• To offer sailing schedules and arrange booking with carrier, when required.
• To prepare invoices timely to customers/agents timely.
• To coordinate with depot & surveyor to ensure isotanks are ready for survey/collection.
• Any other work assigned

Qualifications / Requirements

• 1year of working experience in the Operations. It will be an added advantage if candidate has experience in handling isotanks export shipment.
• This person needs to have basic understanding in iso tanks shipment, good working relationship with the team and able to provide excellent service to our customers.
• Skillset requirement including being proficient in ms word, excel, paying attention to details, able to multitask and handle stress.

Sharepoint Engineer/ Developer - In this new role, you will be responsible for designing, developing, and maintaining SharePoint solutions for an organization.

You Will

• Designing and developing custom SharePoint solutions based on business requirements
• Creating and configuring SharePoint sites, lists, libraries, workflows, and web parts
• Developing custom forms and templates using InfoPath and SharePoint Designer
• Integrating SharePoint with other business applications, such as CRM or ERP systems
• Providing technical support for SharePoint users.
• Developing and implementing SharePoint security and access controls
• Monitoring SharePoint performance and troubleshooting issues
• Collaborating with other developers and stakeholders to ensure solutions meet business needs
• Assist the client as part of its content migration projects on the Sharepoint platform
• Assist with maintenance of SharePoint environments through command line tools and powershell, possessing the ability to write powershell scripts
• Participates in, leads and mentors others to translate business requirements into technical designs
• Participate in technical projects as far as the Sharepoint platform is concerned (technical evolution, “security roadmap” etc)
• Ensure the daily management of Sharepoint platforms (2007/2010/2013 versions) in an international environment (multi-domain, multi-clients)

You Bring

• A bachelor's or master's degree in computer science, information technology, or a related field
• At least five years of Sharepoint project experience, focusing on designing and implementing secure cloud computing solutions
  SharePoint Development experience
• Strong knowledge of PowerApps and Power Automate
• Experience working with modern API Platforms such as REST, SOAP JSO & XML
• An understanding of cloud platforms and services, ideally Azure & Office 365

Other Requirements

• Strong analytical and problem-solving skills, with an ability to think strategically and tactically about complex cloud security issues
• Excellent communication skills, including communicating complex technical concepts to non-technical stakeholders
• The ability to work well in a team environment and collaborate effectively with other IT professionals
• The ability to manage multiple projects and priorities and meet deadlines in a fast-paced environment
• Attention to detail and a commitment to quality work
  

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, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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

#LI-JN2

Responsibilities:

• Provide in-house corporate secretarial services to a portfolio of companies (including listed companies)
• Arrange and prepare meetings and meeting papers
• Provide board, compliance and corporate governance support
• Liaise with stakeholders and advisers on corporate projects and matters
• File notification with ACRA
• Provide legal administrative support as and when required
• Any administrative and/or ad hoc duties as may be assigned

Requirements:

• Diploma/Degree holder
• Possess or pursuing ICSA qualification
• Well versed in corporate secretarial work for listed companies
• Meticulous, pleasant personality and possess strong interpersonal skills
• Team player able to work well with minimum supervision

Our client is a one-stop communication solutions and services partner. Due to business needs, they are now recruiting a Customer Service Manager to be part of their team for ongoing transformation projects. They are located in the East – easily accessible.

Responsibilities:

• Network Architecture: Design, implement, and manage sophisticated network solutions that ensure high performance, reliability, and scalability.
• Project Collaboration: Work with cross-functional teams to define network needs for new projects and provide technical guidance throughout.
• Infrastructure Management: Lead the planning, execution, and upkeep of IT and IP network infrastructures, including routers, switches, Wi-Fi, firewalls, and servers.
• Technical Support: Provide expert technical support and troubleshoot issues both onsite and remotely.
• Technology Evaluation: Assess and recommend new technologies and tools to boost network performance and security.
• Industry Collaboration: Work with vendors, partners, and external experts to stay informed about new threats and industry developments.

Requirements:

• Degree in related field
• Relevant experience
• Possess CCNP or CCIE or HCIP or HCIE certification

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified

• Email Address: [email protected]
• EA License No: 19C9682
• EA Personnel No: R2199158
• EA Personnel Name: Soo Wei De

Senior Engineer (Server, Linux)/ Senior Server Administrator

Responsibilities

• Provide Level 3 Support day-to-day Enterprise Infrastructure and Cyber Security hardening, System Updates, Patches and Configuration Changes and Administration.
• Responsible in administering a complex Windows infrastructure environment
• Strong in Vendor Mangement and Stakeholders.
• Good in handling IT Infrastructure, Windows Server (AD, Exchange), Linux, VMware virtualization, Azure or AWS cloud and Cyber Security.
• Ability to administration and management of server and its software such as installation, backup, maintenance and troubleshooting.

Requirements

• Strong in IT Infrastructure, Linux, Cloud, Network, System Server experience.
• Good in AWS cloud and on-premises environment.
• Technically strong in hands on implementation, maintenance and troubleshooting.
• Strong in providing Level 3 Support.
• Good in handling IT Infrastructure, Windows Server (AD, Exchange), Linux, VMware virtualization, Azure or AWS cloud and Cyber Security.
• Diploma in IT / relevant field or higher
• Ability to administer a complex Windows infrastructure environment
• Good working knowledge experience in implementation / maintenance of IT infrastructure, Cyber Ark, Security, Virtualisation, Linux, Cloud (AWS) and Powershell Scripting.
• Possess Government domain.
• Minimum 4 years of experience in IT System Infrastructure
• Good communication skills, be meticulous, organized in your work and be able to work well with tight deadlines

*** Flexi- Work Arrangement applies.

If you feel that you have the skill-sets that we are looking for, please apply in-confidence with an updated MS Word Resume to [email protected]

Kelvin (Reg. No. R1872625)

STAR CAREER CONSULTING PTE LTD (EA License: 20C0353)

Major Duties and Responsibilities

• Develop and implement overall (Automation / Equipment) System Electrical Circuit Diagram.
• Hardware selection, evaluation, integration, validation its functional according to the technical specification.
• Generate Electrical Circuit CAD drawing and diagram.
• Support manufacturing team on debug and trouble shoot system assembly, functioning and testing.
• Support service team on equipment setup and troubleshooting, occasionally installation.
• Support In-house New Hardware and Application Testing.
• Supporting project relevant detail documentations, - CAD and BOM, operational manual.
• To work with project team validating customer requirement, process, and specification.
• Participate to support project timeline and deliveries.

Job Qualifications:

• Degree in Electrical, Electronics, Mechatronics Engineering or equivalent.
• Minimum 2 years of relevant experience in automation machine design (Electrical circuit & hardware).
• Some experience in software programming will be an added advantage.
• Proficient in 2D CAD Electrical Design Software.
• Good Knowledge in Electrical / Electronic Circuit.
• Adequate knowledge in Test Instrumentation or System hardware.
• Able to effectively, interact with a variety of personnel at all organizational level and customers.
• A team player who is responsible and committed to work in both collaborative environments as well as independently in a scheduled project driven environment.
• Ability and willingness to travel.

What the role is

As a Lecturer, your contributions go beyond teaching and facilitating learning. You will play a critical role in recognising and nurturing your students’ potential and their lifelong learning needs.

What you will be working on

In addition to your teaching duties, you will carry out industry or consultancy projects to help you remain relevant in your profession and to evolving changes in industry, and maintain strong linkages with industry and schools. You will also have the opportunity to have industry attachments or experience on a regular basis to update your skills, knowledge and practices of your profession.

What we are looking for

You should be trained in Mechanical Engineering, Mechatronics Engineering, Electrical and Electronics Engineering or Automotive Engineering, with at least 3 years of relevant work experience in the automotive service industry or working with vehicles, vehicles' electronics or parts like engine and transmissions. You should have the knowledge in using instruments such as diagnostic equipment, wheel alignment machines, etc and preferably with working experience on Hybrid or Electric vehicles. Previous experience as an instructor/coach in any mechanical discipline would be an advantage.

Those with good and relevant experience can look forward to Senior Lecturer or equivalent positions, with career development opportunities to leadership positions in the Colleges or Headquarters.

Job Title: Admin cum Account Assistant

Location: Ubi

Job Type: Full-time

Job Summary: We are seeking a versatile Admin cum Account Assistant to join our team. This role combines administrative support with basic accounting tasks, providing an excellent opportunity for someone looking to develop skills in both areas. The Admin cum Account Assistant will play a crucial role in ensuring the smooth operation of our office financial processes and making it ideal for individuals who thrive in a fast-paced environment and enjoy multitasking.

Key Responsibilities:

Administrative Responsibilities:

• Answer and direct phone calls
• Organize and schedule appointments
• Write and distribute emails, correspondence memos, letters, faxes, and forms
• Assist in the preparation of regularly scheduled reports
• Develop and maintain a filing system, both digital and physical
• Update and maintain office policies and procedures
• Maintain contact lists
• Submit and reconcile expense reports
• Provide general support to respective departments
• Act as the point of contact for internal and external clients
• Handle confidential and sensitive information with integrity

Accounting Responsibilities:

• Assist with day-to-day operations of the accounting department
• Process accounts payable and receivable transactions
• Assist with bank reconciliations
• Assist in the preparation of financial statements
• Assist with payroll administration
• Assist with budget preparations
• Prepare and submit weekly/monthly reports
• Handle sensitive financial information in a confidential manner
• Maintain digital and physical financial records

Requirements:

• Proven experience as an administrative assistant, virtual assistant, or office admin assistant
• Familiarity with basic accounting principles
• Knowledge of office management systems and procedures
• Proficiency in MS Office, particularly Excel and Word
• Strong organizational skills with the ability to multi-task
• Attention to detail and problem-solving skills
• Excellent written and verbal communication skills
• High School degree: additional qualification as an administrative assistant or Secretary will be a plus

Remuneration Details:

• Monthly salary ranges from $2,500
• 5-day work week (8.30am – 5.30pm)
• Annual Leave 14 days + Various types of leave
• 2x bonus per year: Mid-Year-Bonus (Jun) & Year-End-Bonus
• Potential career progress

Interested applicants, email resume with asking salary to [email protected] and

Whatsapp to 8048 1007

Only shortlisted applicants will be contacted.

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

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 in computational 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

#LI-JN2

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, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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

#LI-JN2

The primary focus of Applications Engineer is to support the sale and deployment of Synopsys Emulation & Prototyping solution - including functional verification & validation, debugging, FPGA synthesis & partitioning, and embedded software bring-up on emulation/prototyping system. The candidate is expected to work directly with customers & Synopsys R&D to deliver technical solutions, product demonstrations, resolve technical issues and conduct product training. This will include pre-sales consultation and working with customer to validate their SoC design with Synopsys Emulation & Prototyping solution. He/She will also participate in account planning and work with the sales team to develop account strategy to grow Synopsys Emulation & Prototyping solution.

We are looking for a self-motivated and dependable individual with following technical skills:

• Strong knowledge and experience on design validation with Emulation or FPGA prototyping system from RTL design and experience in compiling/ design bring-up on a FPGA emulation/prototyping platform. SoC /architectural design with RTL coding or design verification using Xilinx/Altera FPGA.
• Knowledge on Xilinx Virtex 7/UltraScale Architecture and hands-on experience on ISE/Vivado Design Suite/Place & Route.
• Experience in Synopsys Emulation or Prototyping Solution will be an added advantage.
• Proficiency in Verilog/VHDL/SystemVerilog programming or scripting language.
• Knowledge on Simulation/VCS, Assertions(SVA) Coverage, Low Power verification with UPF is a plus.
• Good knowledge in Simulation flows, Assertion, DPI and transactors/ transaction based verification.
• Sharp debugging and problem solving skills on FPGA designs, hardware system and RTL design is desirable.
• Good understanding of SW/HW debug methodologies with prior experience in any of standard SW/HW debug tools (Identify, ChipScope, SignalTap, Logic Analyzer etc.)
• Experience in SoC bus/high speed protocols including following but not limited to AMBA, AXI, USB PCIE will be an advantage.
• Good critical thinking and problem-solving skills. Experience in project execution from start to completion.
• Pleasant personality with good interpersonal and communication skills.
• Some travel within South East Asia region up to 2 weeks per trip and occasional travel to USA are expected
• Master in CS/EE/other Engineer field with 10+ years of experiences.

Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.